Added ${drjavajar.file}, ${drjava.file} and ${java.file}
properties. Removed mutation in properties. Removed separate JVM process creator.
Authored by: mgricken 2008-06-22
Parent: [r4521]
Child: [r4523]