public void testSyntaxSet1() {
		if (syntax.equals("traditional")) {
			try {
				JPL.setTraditional(); // should succeed silently
			} catch (Exception e) {
				fail("setTraditional() under traditional syntax threw exception: " + e);
			}
		} else {
			try {
				JPL.setTraditional();
			} catch (JPLException e) { // expected exception class, but is it correct in detail?
				if (e.getMessage().endsWith("traditional syntax after Prolog is initialised")) {
					// OK: an appropriate exception was thrown
				} else {
					fail("setTraditional() under modern syntax threw incorrect JPLException: " + e);
				}
			} catch (Exception e) {
				fail("setTraditional() under modern syntax threw unexpected class of exception: " + e);
			}
		}
	}