define some missing java.symbols