Volevo togliermi una curiosità e ho provato ad installare java-6-sun, al posto della java-6-openjdk che avevo su.
uguale, stessi problemi.
io non credo che sia colpa ne di java, ne di Gnome. in fondo altri 10000 programmi scritti in java, non hanno questi problemi ai menu..
ho provato a cercare tra gli issue sulla pag di google code di arduino, ma non ho trovato cose simili.. possibile che ancora nessuno l'abbia segnalato??