Java implementation of the simple ToDo specification