--- old+++ new@@ -0,0 +1 @@+In many real systems service times are upper bounded by timeouts, it would be nice to add this option to the service time panel.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Diff: