question: public boolean removeUsedPrefix ( String prefix ) { prefix = prefix . replace ( ' ' , '_' ) ; return usedPrefixes . remove ( prefix . intern ( ) ) ; }
target:  Changes ' ' characters to '_', and then tries to remove it to the used prefix list. Returns true if successful.