rwth.i2.ltl2ba4j.internal.jnibridge
Classes 
BAJni