jdt18.patch

   1 https://bz.apache.org/bugzilla/show_bug.cgi?id=56373
   2
   3 --- java/org/apache/jasper/compiler/JDTCompiler.java    (revision 1585931)
   4 +++ java/org/apache/jasper/compiler/JDTCompiler.java    (working copy)
   5 @@ -335,7 +335,7 @@
   6                               CompilerOptions.VERSION_1_7);
   7              } else if(opt.equals("1.8")) {
   8                  settings.put(CompilerOptions.OPTION_Source,
   9 -                             CompilerOptions.VERSION_1_8);
  10 +                             "1.8"); // CompilerOptions.VERSION_1_8
  11              } else {
  12                  log.warn("Unknown source VM " + opt + " ignored.");
  13                  settings.put(CompilerOptions.OPTION_Source,
  14 @@ -379,9 +379,9 @@
  15                          CompilerOptions.VERSION_1_7);
  16              } else if(opt.equals("1.8")) {
  17                  settings.put(CompilerOptions.OPTION_TargetPlatform,
  18 -                             CompilerOptions.VERSION_1_8);
  19 +                             "1.8"); // CompilerOptions.VERSION_1_8
  20                  settings.put(CompilerOptions.OPTION_Compliance,
  21 -                        CompilerOptions.VERSION_1_8);
  22 +                        "1.8"); // CompilerOptions.VERSION_1_8
  23              } else {
  24                  log.warn("Unknown target VM " + opt + " ignored.");
  25                  settings.put(CompilerOptions.OPTION_TargetPlatform,