Delete JNonTetravex.class