Convert SymbolType.java into Symbol.h