a simple java trace utility