Fix for #513: report model loader errors on usage
JDTModelLoader #513: tolerate missing types, we catch them on usage on a need-to basis
Updated model loader tests
JDTModelLoader: added FIXME but I don't date fix it, because we don't have enough IDE tests :(
Latest spec/jvm backend jars