Produce a sanitized name that fits our standards for likely to work. Java classes have a wider range of names that are technically allowed (supposedly any Unicode name) than what we support. The reason for going more narrow is to avoid situations with text encodings and converting during the pr
(String origName)
source not stored for this graph (policy: none)
no test coverage detected