Woot! The first Android bug I filed just got fixed:
http://code.google.com/p/android/issues/detail?id=42991
https://android-review.googlesource.com/52194
It’s a really obscure incompatibility with the Oracle JDK’s handling of superclass hierarchies. But it’s fun to see people paying attention to it.