Better unresolved type support.

Also fix bug where miranda methods were changing their declaring class
and thereby breaking their return type indices.
Add support for dumping stacks on abort.

Change-Id: I3782864736b12d1f81ab9aea4909213d3344ba13
diff --git a/src/java_lang_Class.cc b/src/java_lang_Class.cc
index 81d070f..eccf977 100644
--- a/src/java_lang_Class.cc
+++ b/src/java_lang_Class.cc
@@ -78,7 +78,7 @@
   if (public_only && !m->IsPublic()) {
     return false;
   }
-  if (m->IsMiranda() || m->IsStatic()) {
+  if (m->IsStatic()) {
     return false;
   }
   if (m->GetName()->CharAt(0) != '<') {
@@ -134,9 +134,6 @@
   if (public_only && !m->IsPublic()) {
     return false;
   }
-  if (m->IsMiranda()) {
-    return false;
-  }
   if (m->GetName()->CharAt(0) == '<') {
     return false;
   }