public static String convertToStringNoPositions(ASTNode tree) {
   return convertToString0(tree, EcjTreePrinter.printerWithoutPositions());
 }