navigation to Java is-style getters