@Override
	public String toIdentifier() {
		StringBuilder result = new StringBuilder(chars.length());
		toIdentifier(result, 1);
		return result.toString();
	}
@ Override public String toIdentifier ( ) { StringBuilder result = new StringBuilder ( chars . length ( ) ) ; toIdentifier ( result , 1 ) ; return result . toString ( ) ; }
}