Fixing the JDTCompiler15 hack that was breaking the build.