The HibernateInsteadOfKill option should not have been visible yet.