Fixed the issue where there were duplicated menus in project explorer when PyDev is not installed.