final String cmdLine = System.getProperty("jnode.cmdline", "");
final String cmdLine = (String)AccessController.doPrivileged(new GetPropertyAction("jnode.cmdline", ""));
	public void run() {		// Run commands from the JNode commandline first		final String cmdLine = System.getProperty("jnode.cmdline", "");		final StringTokenizer tok = new StringTokenizer(cmdLine);		while (tok.hasMoreTokens()) {			final String e = tok.nextToken();			try {				if (e.startsWith("cmd=")) {					final String cmd = e.substring("cmd=".length());					currentPrompt = prompt();					out.println(currentPrompt + cmd);					processCommand(cmd);				}			} catch (Throwable ex) {				ex.printStackTrace(err);			}		}				// Now become interactive		boolean halt = false;		while (!halt) {			try {				synchronized (this) {					//  Catch keyboard events					isActive = true;					currentPrompt = prompt();					out.print(currentPrompt);					//  wait until enter is hit					threadSuspended = true;					while (threadSuspended)						wait();					if (currentLine.length() > 0)						processCommand(currentLine.trim());					if (currentLine.trim().equals("halt"))						halt = true;					currentLine = "";					historyIndex = -1;				}							} catch (Throwable ex) {				ex.printStackTrace(err);			}		}	}