I gave up trying to figure it out and simply overrode the method with
import java.text.DateFormat;
import java.util.Date;
...
public void log(String msg){
System.err.println("RunQuery " +
DateFormat.getDateTimeInstance().format(new Date()) + " " + msg);
}
----------------------------------------------------------------
The information transmitted is intended only for the person or entity to
which it is addressed and may contain confidential and/or privileged
material. Any review, retransmission, dissemination or other use of, or
taking of any action in reliance upon, this information by persons or
entities other than the intended recipient is prohibited. If you received
this in error, please contact the sender and delete the material from any
computer.
----------------------------------------------------------------
To subscribe: [EMAIL PROTECTED]
To unsubscribe: [EMAIL PROTECTED]
Archives and Other: <http://java.apache.org/main/mail.html/>
Problems?: [EMAIL PROTECTED]
