private void refreshInput() {
Job job = new Job("Outline browser tree refresh") {
@Override
protected IStatus run(IProgressMonitor monitor) {
String string = document.get();
LineNumberingPushbackReader pushbackReader = new LineNumberingPushbackReader(
new StringReader(string));
Object EOF = new Object();
ArrayList<List> input = new ArrayList<List>();
Object result = null;
while (true) {