106107108109110111112
if (target instanceof RuntimeException) throw (RuntimeException) target; throw (Error) target; } // default to new version return new PropertyManager2((Workspace) ResourcesPlugin.getWorkspace()); }