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

Commits on Jul 9, 2018

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