JNI bridge to ltl2ba. See class rwth.i2.ltl2ba4j.LTL2BA4J for details.