Added an extra callback for ModuleManager so we can tell the IDE which JDK modules it has