fixes to jenkins plugins