Jenkin plugin is now case-insensitive