public void openFile(File f) {
if (this.project != null) {
this.classIndex.removeElement(this.project.getFileSet());
}
Project project = new Project();
project.setFile(f);
try {
FileSet set = getFileSet(f);
this.classIndex.addElement(set);
updateClassIndex();
project.setFileSet(set);
openProject(project);
} catch(Exception e) {
handleException(e);
}