public static String normalize ( String publicId ) { String normal = publicId . replace ( ' ' , ' ' ) ; normal = normal . replace ( ' ' , ' ' ) ; normal = normal . replace ( ' ' , ' ' ) ; normal = normal . trim ( ) ; int pos ; while ( ( pos = normal . indexOf ( " " ) ) >= 0 ) { normal = normal . substring ( 0 , pos ) + normal . substring ( pos + 1 ) ; } return normal ; }
Normalize a public identifier .