buf.append('_');
buf.append("_#");
	public static String validateID(String id) {		if (id.length() > 0) {			StringBuffer buf = new StringBuffer();			char first = id.charAt(0);			if (!Character.isLetter(first) && first != '_' && first != ':') {				buf.append(DEFAULT_ID_NAME_PREFIX);			}			for (int i = 0; i < id.length(); i++) {				char c = id.charAt(i);				// TODO we have to allow here CombinigChar and Extender too				if (Character.isLetter(c) || Character.isDigit(c) || c == '-'						|| c == '_' || c == '.' || c == ':') {					buf.append(c);				} else {					// normally we have to check all id to garante it will be a					// unique,					// but we convert the current char to a int with "_"-prefix					buf.append('_');					buf.append((int) c);					buf.append('_');				}			}			return buf.toString();		} else {			return id;		}	}