update the drjava file for critters