JSR-333

this does all necessary adjustments to the JSR-333 updates, except that getRepositoryManager() throws an UnsupportedRepositoryException