5960616263646566676869
public void refresh() { if (source != null) { SourceFile sameSource = source; source = null; updateContent(sameSource); contentProvider.correctViewerExpansion(); } }
61626364656667
private SourceFile loadSourceFile(String file) throws Exception { Document doc = new Document(readFile(file)); new PerlPartitioner(new Log(), doc); return new SourceFile(getLoggerForTests(), doc); }