changes to drjava project file