[hibernate-dev] Jenkins job priorities