Keep generated English Java annotations so we can compile in an IDE. Fix formatting.