+// Copyright 2000-2005 the Contributors, as shown in the revision logs.
+// Licensed under the Apache Public Source License 2.0 ("the License").
+// You may not use this file except in compliance with the License.
+
package org.ibex.tool;
import java.io.*;
}
}
} catch (ClassFormatException e) {
- System.out.println("Unexpected ClassFormatException"); // FIXME
- e.printStackTrace(); return null;
+ e.printStackTrace();
+ throw new Error("unexpected ClassFormatException resolving compiled class: "+e);
}
if (veryverbose) System.out.println(" not found");
return null;