[hibernate-dev] Legacy Jenkins API tokens