There are some known issues with Eclipse based apps and Appmenu in 13.10. See bug #1241101 and eclipse-bugs #419729.
There are some known issues with Eclipse based apps and Appmenu in 13.10. See bug #1241101 and eclipse-bugs #419729.