enum = e;
enumeration = e;
  public static void startup (Enumeration e) {    enum = e;  }  public void run () {    int count = 0;    while (true) {      VM_Type type = null;      synchronized (enum) {        if (enum.hasMoreElements()) {          type = (VM_Type) enum.nextElement();          count++;        }