Pass -q as the default prove verbosity.

Maven misbehaves if the parameter is null, so we pass the default "-q".