269270271272273274275276277278279280281
new Comparator<Element>() { public int compare( final Element a, final Element b ) { final ActionDef x = (ActionDef) a; final ActionDef y = (ActionDef) b; return comp( x.getId().content(), y.getId().content() ); } } ); }