jGPC – Java General Polygon Clipper library (jni binding)