Restored the old eclipse-formatter