Update to support changes to NetBeans 7.3 API