give JVM Makefile an optional DESTDIR

... as proposed by (Gerd Pokorra)++