JDK 11: disable temporarily Java 11 support.
Change on 2019/04/04 by antoniocortes
@@ -503,7 +503,6 @@ public class Options {
// Dummy out passed target argument, since we don't care about target.
getArgValue(args, arg); // ignore
} else if (PLATFORM_MODULE_SYSTEM_OPTIONS.contains(arg)) {
- SourceVersion.setMaxSupportedVersion(SourceVersion.JAVA_11);
addPlatformModuleSystemOptions(arg, getArgValue(args, arg));
} else if (arg.startsWith(BATCH_PROCESSING_MAX_FLAG)) {
// Ignore, batch processing isn't used with javac front-end.
