Monitor analysis not does not analyze the java library unless with the
WITH_JAVA_LIB flag.
.
Added a way to load extra classes.
Merge branch 'master' into tmp-mk-contract

Conflicts:
	src/gluon/analysis/monitor/MonitorAnalysis.java
tests