library method rename

examples/src/OpenDis7Examples/AllPduReceiver.java

@@ -87,7 +87,7 @@ public class AllPduReceiver
                     DISProtocolFamily currentProtocolFamilyID = nextPdu.getProtocolFamily(); //short  currentProtocolFamilyID = nextPdu.getProtocolFamily();
 
                     StringBuilder message = new StringBuilder();
-                    message.append(DisTime.timestampToString(nextPdu.getTimestamp())).append(" ");
+                    message.append(DisTime.convertToString(nextPdu.getTimestamp())).append(" ");
                     message.append("received new DIS PDU ");
                     String currentPduTypePadded     = String.format("%-48s", currentPduType);     // - indicates right padding of whitespace
                     message.append(currentPduTypePadded);