*) The minimization step to filter out the least general generalizations
   (with respect to the alignment computation) is not implemented yet.
*) Please download and verify the Java version before reporting a new bug.