Various bugs have been fixed in MVC, DFVS (thanks to Steven Kelk). A new coloring algorithm has been added.
A lot of bugs have been fixed into the different algorithms. This release corresponds to the research report documentation RR-2012-01.
Removed Sun's tools.jar dependency (licence conflict for distribution)