void function ( String arg0 , String arg1 ) { messageTimes . put ( arg0 , arg1 ) ; }
puts a new time string for the specified message type . the string should be some value that can be understood by its eventual consumer . it is left as a string here to remove the need to convert back and forth from datetime objects when dealing with web services . concode_field_sep String leader concode_elem_sep String instanceId concode_elem_sep List<String> players concode_elem_sep Map<String,String> messageTimes concode_field_sep String getLeader concode_elem_sep String getInstanceId concode_elem_sep PlayerListDelta setPlayers concode_elem_sep String getMessageTime concode_elem_sep List<String> getPlayers concode_elem_sep void setLeader