PolygonCover.java