if (jdkType.toString().equals("class java.lang.reflect.Constructor")) { return null; }
  private static VM_Type getRvmType(Class jdkType) {    return (VM_Type) bootImageTypes.get(jdkType.getName());  }