code: public JavaFileObject asJavaFileObject(File file) {
          JavacFileManager fm = (JavacFileManager)context.get(JavaFileManager.class);
          return fm.getRegularFile(file);
      }
docs: Construct a JavaFileObject from the given file.
  
  <p><b>TODO: this method is useless here</b></p>
  
  @param file a file
  @return a JavaFileObject from the standard file manager.