public interface Trace
void
trace(java.lang.String stmt)
void trace(java.lang.String stmt)
stmt
Contact: Christian Werner