private static String getSetString(String s) {
		if (s == null)
			return "{ }";
		StringBuffer sb = new StringBuffer("{ ");
		for (int i = 0; i < s.length(); i++) {
			char c = s.charAt(i);
			if (c == '!')
				c = Universe.curProfile.getEmptyString().charAt(0);
			sb.append(c);
			if (i != s.length() - 1)
				sb.append(',');
			sb.append(' ');
		}
		sb.append('}');
		return sb.toString();
	}