public void openFiles(String[] fileNames) { environment.openFiles(fileNames); }
public void openFile(String fileName) { String[] s = new String[1]; s[0] = fileName; environment.openFiles(s); }