timestamp update to drjava file