Adds --java-load-class to tests that require it#2487

Merged

kroening merged 1 commit intodiffblue:developfrom

JohnDumbell:bugfix/add_java_load_class

Jun 26, 2018

Commits on Jun 26, 2018

Adds --java-load-class to tests that require it
JohnDumbell
committed