KNOWNBUG
Sync.class
--cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --java-threading
^VERIFICATION SUCCESSFUL$
--
^warning: ignoring
--
Checks all possible paths to ensure monitorexit is executed even after a throw.

This is currently not working as explicit throws have been removed from the underlying model due to performance considerations.
