JAVA-441: keep symbols as symbols