pure function audit trail for Java