Replace MAVEN_DEBUG_OPTS by CRASH_DEBUG_OPTS

A fix of my previous pull request. Debugging code passed by.

However, I don't know why 7 commits are there since only 52f8791 should be required to merge.