Now user can choose which timer runs first.
Semantics of pause button changed.
Small refarctoring.
Refactor again.