protected void printTime(String s){
  SimpleDateFormat dateFormat=new SimpleDateFormat("HH:mm:ss");
  println(dateFormat.format(new java.util.Date()) + " " + s);
}

protected void printTime ( String s ) { SimpleDateFormat dateFormat = new SimpleDateFormat ( "HH:mm:ss" ) ; println ( dateFormat . format ( new java . util . Date ( ) ) + " " + s ) ; }
print the current time and a message to system out .
