Changing the location specified by java.io.tmpdir before running a Java program

On some systems, java.io.tmpdir is hard-coded to /tmp/. This can be changed with, e.g.:

export _JAVA_OPTIONS=-Djava.io.tmpdir=/mnt/tmp/whatever