revert jenkins properties