Cleanup java_bytecode_parse_treet: all members are public, no virtual tables required#2564

Merged

kroening merged 1 commit intodiffblue:developfrom tautschnig:vs-java-parse-tree

Jul 12, 2018

+25-37

Commits on Jul 9, 2018

Cleanup java_bytecode_parse_treet: all members are public, no virtual tables required
tautschnig
committed