375376377378379380381382383384385
} else { job = new UpdateJob(project); } job.setUser(false); job.schedule(); newDepSinceLastSave = false; newDevDepSinceLastSave = false; }