}
/** adds an alternative */
- public void add(Sequence s) { alternatives.add(s); }
+ public void add(Sequence s) {
+ alternatives.add(s);
+ if (/*!synthetic &&*/ shortForm!=null
+ //&& Character.isUpperCase(shortForm.charAt(0))
+ )
+ s.setName(toString());
+ }
/**
* Since every cycle in a non-degenerate grammar contains at