private static String getShellCommandLine() {
		try {
			String option = (Platform.isMac()) ? "command" : "args";
			String[] argv = { "bash", "-c", "ps -p $PPID -o " + option };
			Process p = Runtime.getRuntime().exec(argv);
			p.waitFor();
			if (p.getErrorStream().read() != -1) return null;
			BufferedReader rd = new BufferedReader(new InputStreamReader(p.getInputStream()));
			rd.readLine(); /* Ignore header */
			return rd.readLine();
		} catch (Exception ex) {
			return null;
		}
	}