This method normally queries the user for start and end patch numbers to use for batch downloading. In rare cases you may need to customize this, such as to hard-code the start and end patch. Otherwise, don't override it.
(Model startPatch, Model endPatch)
source not stored for this graph (policy: none)
no test coverage detected