if(e.getKind()==ElementKind.CONSTRUCTOR && e.getEnclosingElement().getSimpleName().length()==0)
return _; // this is a synthesized constructor for an anonymous class
// TODO: I suspect we need some kind of uniform treatment for all synthesized methods
// mark up the method name
Tree prev = mt.getReturnType();
String name;
if(e.getKind()== ElementKind.CONSTRUCTOR)
name = e.getEnclosingElement().getSimpleName().toString();
else // constructor returns <init> from getName(), so we need the above code
name = mt.getName().toString();