EventID.toString() adds a "EventID:" prefix to the event ID itself. It would be useful to have a String version of the event ID without that. Changing .toString() at this point doesn't seem like a good idea, so I added a .toShortString() method instead.
EventID.toString() adds a "EventID:" prefix to the event ID itself. It would be useful to have a String version of the event ID without that. Changing .toString() at this point doesn't seem like a good idea, so I added a .toShortString() method instead.