zserio.extension.java.symbols