Auto-formatted code with Eclipse, to make it all uniform