public static boolean setDebugging(String debuggingString) {
		if (debuggingString.length() == 0 || debuggingString.equals("help")) {
			usageDebugging();
			return false;
		}

		StringTokenizer st = new StringTokenizer(debuggingString, ",");
		next_token: while (st.hasMoreTokens()) {
			String token = st.nextToken().intern();
			for (int i = 0; i < debuggingNames.length; i++) {
				if (token == debuggingNames[i]) {
					debuggingFlags |= 1 << i;
					continue next_token;
				}
			}
			err.println("Illegal debugging flag: " + token);
			return false;
		}
		return true;
	}