getting drjava going