allow java-flavored labels