private static String errorPlace(HiddenTokenAwareTree offendingNode) {
if (offendingNode==null)
return "";
AbsoluteSourceNamePrinter printer = new AbsoluteSourceNamePrinter();
String filename = printer.printSourceName(offendingNode.getSource());
return "\n Offending place: " + filename + " " + offendingNode.getLine() + ":" + (offendingNode.getCharPositionInLine() + 1);
}