32 import java.util.Arrays;
  33 import javax.tools.*;
  34 
  35 public class T6265137 {
  36     public static void main(String... args) {
  37         JavaCompiler javac = ToolProvider.getSystemJavaCompiler();
  38         DiagnosticListener<JavaFileObject> dl =  new DiagnosticListener<JavaFileObject>() {
  39                 public void report(Diagnostic<? extends JavaFileObject> message) {
  40                     System.out.println(message.getSource()
  41                                        +":"+message.getStartPosition()+":"
  42                                        +message.getStartPosition()+":"+message.getPosition());
  43                     System.out.println(message.toString());
  44                     System.out.format("Found problem: %s%n", message.getCode());
  45                     System.out.flush();
  46                 }
  47         };
  48         StandardJavaFileManager fm = javac.getStandardFileManager(dl, null, null);
  49         String srcdir = System.getProperty("test.src");
  50         Iterable<? extends JavaFileObject> files =
  51             fm.getJavaFileObjectsFromFiles(Arrays.asList(new File(srcdir, "T6265137a.java")));
  52         javac.getTask(null, fm, dl, Arrays.asList("-target","1.5"), null, files).call();
  53     }
  54 }

  32 import java.util.Arrays;
  33 import javax.tools.*;
  34 
  35 public class T6265137 {
  36     public static void main(String... args) {
  37         JavaCompiler javac = ToolProvider.getSystemJavaCompiler();
  38         DiagnosticListener<JavaFileObject> dl =  new DiagnosticListener<JavaFileObject>() {
  39                 public void report(Diagnostic<? extends JavaFileObject> message) {
  40                     System.out.println(message.getSource()
  41                                        +":"+message.getStartPosition()+":"
  42                                        +message.getStartPosition()+":"+message.getPosition());
  43                     System.out.println(message.toString());
  44                     System.out.format("Found problem: %s%n", message.getCode());
  45                     System.out.flush();
  46                 }
  47         };
  48         StandardJavaFileManager fm = javac.getStandardFileManager(dl, null, null);
  49         String srcdir = System.getProperty("test.src");
  50         Iterable<? extends JavaFileObject> files =
  51             fm.getJavaFileObjectsFromFiles(Arrays.asList(new File(srcdir, "T6265137a.java")));
  52         javac.getTask(null, fm, dl, Arrays.asList("-target","9"), null, files).call();
  53     }
  54 }