public String toString() { return shortForm; }
private static String pad(int i,String s) { return s.length() >= i ? s : pad(i-1,s)+" "; }
- void toString(StringBuffer sb) {
+ public void toString(StringBuffer sb) {
if (synthetic) return;
boolean first = true;
if (alternatives.size()==0) {