The Spartanizer: Massive automatic refactoring
The Java Programming Language