passing int to Timer constructor as specified by API