public int hashCode() { return (cmdpath.hashCode()); }
public int hashCode() { int h = command == null ? 0 : command.hashCode(); for (int i = 0; i < options.length; i++) h ^= options[i].hashCode();  return h; }
public int hashCode() {	return (cmdpath.hashCode()); // Not a very good hash code.}