Fixed a bug in BinarySolutionImpl.java