Yes, this is not the right way to fix Jenkins encoding issues... Sorry.