Clipper: fix build on Java 7, improve Point2d.hashCode()