Fixing horrible eclipse formatting