Bluej always changes these. Even if no changes are made!