document the need for a `getMethods` method in Android