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