File tomcat-8.0.53-JDTCompiler-java.patch of Package tomcat.19337

Index: java/org/apache/jasper/compiler/JDTCompiler.java
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- java/org/apache/jasper/compiler/JDTCompiler.java	(date 1530283078000)
+++ java/org/apache/jasper/compiler/JDTCompiler.java	(date 1534253046000)
@@ -339,11 +339,11 @@
                              CompilerOptions.VERSION_1_7);
             } else if(opt.equals("1.8")) {
                 settings.put(CompilerOptions.OPTION_Source,
-                             CompilerOptions.VERSION_1_8);
+                             "1.8"); // CompilerOptions.VERSION_1_8
             // Support old format that was used in EA implementation as well
             } else if(opt.equals("9") || opt.equals("1.9")) {
                 settings.put(CompilerOptions.OPTION_Source,
-                             JDT_JAVA_9_VERSION);
+                             "1.9");
             } else if(opt.equals("10")) {
                 // Constant not available in latest ECJ version that runs on
                 // Java 7
@@ -391,14 +391,14 @@
                         CompilerOptions.VERSION_1_7);
             } else if(opt.equals("1.8")) {
                 settings.put(CompilerOptions.OPTION_TargetPlatform,
-                             CompilerOptions.VERSION_1_8);
+                             "1.8"); // CompilerOptions.VERSION_1_8
                 settings.put(CompilerOptions.OPTION_Compliance,
-                        CompilerOptions.VERSION_1_8);
+                        "1.8"); // CompilerOptions.VERSION_1_8
             } else if(opt.equals("9") || opt.equals("1.9")) {
                 settings.put(CompilerOptions.OPTION_TargetPlatform,
-                             JDT_JAVA_9_VERSION);
+                             "1.9"); // JDT_JAVA_9_VERSION
                 settings.put(CompilerOptions.OPTION_Compliance,
-                             JDT_JAVA_9_VERSION);
+                             "1.9"); // JDT_JAVA_9_VERSION
             } else if(opt.equals("10")) {
                 // Constant not available in latest ECJ version that runs on
                 // Java 7