jvstm.Transaction.abort(); noteTxFinished(tx);
try { jvstm.Transaction.abort(); } finally { noteTxFinished(tx); }
    public static void abort() {	FenixTransaction tx = currentFenixTransaction();	jvstm.Transaction.abort();	noteTxFinished(tx);    }