I think that the current code guarantees to return methods in their annotated order, whereas this always returns them in name-ascending order.  Is that right?