maybe something like
mop war -jetty.version=foo someWar
or something.
We have a few commands which reuse war so being able to specify the jetty version before the actual command, or afterwards might help. i.e. someone might type "mop foo abc" which might translate to "mop war blah abc" so the args passed from an alias might need to affect the jetty version