reverse order of MAVEN_OPTS

We should assume that any externally set MAVEN_OPTS would win over those
defined in mavenrc. The Java command line honours the last specified option
if it is set twice.