[mc] Extract prune_visited_states() out of is_visited_state()

[simgrid.git] / README.java

On Debian, Ubuntu and similar systems, you need the following packages: 

 openjdk-7-jdk (or higher)
 libgcj14-dev  (or higher)