code: void print_list() {
  	for (int i = 0; i < works.size(); i++) {
  	    final WorkItem item = (WorkItem) works.elementAt(i);
  	    Util.out4.println("Dev name = " + item.dev.get_name() + ", obj name = " + item.name
  		    + ", next wake_up at " + item.wake_up_date.tv_sec + ","
  		    + item.wake_up_date.tv_usec);
  	}
      }
docs: ===============================================================