eclipse insists on changing files by itself. timestamps, etc.