Sophie: tomcat-1:9.0.31-1.mga7 src

tomcat-9.0.31-1.mga7.src.rpm

--- apache-tomcat-9.0.30-src/java/org/apache/jasper/compiler/JDTCompiler.java	2019-12-07 17:52:50.000000000 +0100
+++ apache-tomcat-9.0.30-src/java/org/apache/jasper/compiler/JDTCompiler.java.new	2020-01-21 11:01:35.038998258 +0100
@@ -326,7 +326,7 @@ public class JDTCompiler extends org.apa
                              CompilerOptions.VERSION_11);
             } else if(opt.equals("12")) {
                 settings.put(CompilerOptions.OPTION_Source,
-                             CompilerOptions.VERSION_12);
+                             "12");
             } else if(opt.equals("13")) {
                 // Constant not available in latest ECJ version shipped with
                 // Tomcat. May be supported in a snapshot build.
@@ -397,9 +397,9 @@ public class JDTCompiler extends org.apa
                         CompilerOptions.VERSION_11);
             } else if(opt.equals("12")) {
                 settings.put(CompilerOptions.OPTION_TargetPlatform,
-                        CompilerOptions.VERSION_12);
+                        "12");
                 settings.put(CompilerOptions.OPTION_Compliance,
-                        CompilerOptions.VERSION_12);
+                        "12");
             } else if(opt.equals("13")) {
                 // Constant not available in latest ECJ version shipped with
                 // Tomcat. May be supported in a snapshot build.