To allow using it in JDTModuleManager