file.deleteMarkers(MARKER_TYPE, true, IResource.DEPTH_ONE);
} catch (CoreException e) {
ToolPlugin.showError("Error deleting file markers", e);
}
IProject project = file.getProject();
RepositorySession session = RepositorySession.getRepositorySession(project);
if (session != null){
if (session.isJustRefreshed())
return false;
IFolder plan = (IFolder) file.getParent();
String result;
try {
if (!session.isRepositoryOpen()){
session.openRepository();
}
if (!session.isWorkspaceOpen()){
session.openWorkspace();
}
mon.subTask("Compiling: " + file.getName());
result = session.compileComponent(plan.getName(), file.getLocation().toPortableString());
if (result != null)
processCompileErrors(file, result);
} catch (NotConnectedException e) {
ToolPlugin.showError("Tool System Exception", e);
} catch (CommandException e) {