System.err.println("Done.\n");
// test_Error
System.err.println("Testing test_Error...");
try {
mri.test_Error();
fail("test_Error() should have thrown ServerError");
} catch (ServerError e) {
System.err.println(e.toString());
}
System.err.println("Done.\n");