updated repo to svn HEAD + fix Polygon.setPoints(...)