buf.append('"'); buf.append('\n');
		public String getRange() {			StringBuffer buf = new StringBuffer();			buf.append("{\n");			for (Iterator<String> i = possibleValueSet.iterator(); i.hasNext();) {				if (buf.length() > 2)					buf.append(",");				buf.append('\t');				buf.append('"');				buf.append(i.next());				buf.append('"');				buf.append('\n');			}			buf.append("}");			return buf.toString();		}