fix hibernate4 plugin version number