Execution path trace recorder for Java library