More core models

Adds the models required for the Java benchmarks used in
the CAV'18 paper and proposed for the SV-COMP'19 Java
category.