new JCTree[allDefsExceptConstructor.size()]))));
StringWriter sw = new StringWriter();
try {
Pretty pretty = new Pretty(sw, true);
pretty.printExpr(newClass);
} catch (IOException impossible) {
throw new AssertionError("Impossible IOException");
}
String replacement = sw.toString().replace("@Override()", "@Override");