RVM now uses internally Java integers and Booleans.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
fixed profiler
Merge branch 'master' of git@github.com:cwi-swat/rascal.git
Fixed deletion of a project M3 from the registry.
Fixed import and module name.
Added exception handling for getSourceLocation.
Merge branch 'master' into rascal-to-jigll