CtxtFreeGrammar gramm = new CtxtFreeGrammar(this);
try {
if (this.parseTreesFromLastCalculation == null || this.dontRecalculateParseTrees == null) {
this.parseTreesFromLastCalculation = ChartParser.parse(gramm, this.wordToParse, null);
}
gv.addln(parseTreesFromLastCalculation[this.displayParseTreeNum % parseTreesFromLastCalculation.length].toString());
this.numOfParseTrees = parseTreesFromLastCalculation.length;
} catch (Exception e) {
if (e.getMessage().toLowerCase().contains("user")) {
gv.addln("b [label=\"User aborted\"];");
gv.addln("b -> a;");