Now getNextEventTime() is public, for debugging purposes