debugging Tracing.java