public String toString() {
		String opts = "";
		opts += writeable ? "write" : "read-only";
		opts += ",";
		opts += verbose ? "verbose" : "quiet";
		
		String dbg = "";
		if (debugFile) dbg += dbg.isEmpty() ? "File" : ",File";
		if (debugCommand) dbg += dbg.isEmpty() ? "Command" : ",Command";
		if (debugTime) dbg += dbg.isEmpty() ? "Timing" : ",Timing";
		
		if (dbg.isEmpty())
			return opts;
		else
			return( opts + " + DEBUG(" + dbg + ")" );
	}