}
private static LinkedListTree parse(String body) {
try {
JavadocParser parser = parserOn(body);
LinkedListTree result = (LinkedListTree)parser.comment_body().getTree();
trimEOF(result);
return result;
} catch (IOException e) {
throw new SyntaxException(e);
} catch (RecognitionException e) {