public String makeUniqueJavaIdentifier ( String id ) { String jid = makeJavaId ( id ) ; String old = map . put ( jid , id ) ; if ( old != null ) { String oid = jid ; for ( int ii = 1 ; old != null ; ii ++ ) { jid = oid + ii ; old = map . put ( jid , id ) ; } } return jid ; }
Returns a unique String capable for java identifier .