public void flush() throws IOException { standardJavaFileManager.flush(); }
@Override public void flush() throws IOException { myStandardFileManager.flush(); }