[#3599] Implement nicer formatting of @Generated annotation