BTW Jenkins sources are explicitly marked as UTF-8, so it is OK to use a literal `" » "`.