public interface Profile
void
profile(java.lang.String stmt, long est)
void profile(java.lang.String stmt, long est)
stmt
est
Contact: Christian Werner