Problema con jdeveloper y gnome shell

[calichecal]

hola tengo este inconveniente con el entorno de desarrollo jdeveloper el cual acabo de instalar, pero el mause no funciona bien pues cuando abro un menu con el click derecho y al pasar el mause por encima de este menu las opciones no se seleccionan, es un problema que también tiene netbeans a veces con gnome cinnamon, pero lo solucionan modificando el archivo netbeans.conf, pero este archivo de configuración no es muy evidente en jdeveloper,

que me aconsejan?

tengo fedora 17 x 64 con gnome shell 3.4.