}
catch (ExceptionInInitializerError e) {x=e;} catch (UnsatisfiedLinkError e)        {x=e;} catch (NoClassDefFoundError e)        {x=e;} catch (SecurityException e)           {x=e;} catch (ClassNotFoundException e)      {x=e;} if (verbose >= 1) { say(x.toString()); } return null; }
  private static Class getJdkType(VM_Type rvmType) {    try {      return Class.forName(rvmType.toString());    } catch (Throwable x) {      if (verbose >= 1) {        say(x.toString());      }      return null;    }  }