name = documentPath.toCharArray();
} catch(Exception e){
// ignore
}
if (source == null || name == null) return; // could not retrieve document info (e.g. resource was discarded)
CompilationUnit compilationUnit = new CompilationUnit(source, name);
try {
parser.parseCompilationUnit(compilationUnit, true/*full parse*/);
} catch (Exception e) {
if (JobManager.VERBOSE) {
e.printStackTrace();