EDIT

Add missing .classpatch file to workbench plugin

Add missing .project file to workbench plugin

fix #6570: use treeMap for getKeyLabelPairs() to sort the ranks

Remove dev-only program argument

ref #5752 Thin out feature.platform dependencies

• also gets rid of "Run" menu

ref #6566 Migrate SearchBar

Remove unused dependency and classes

ref #6566 Configure build properties

ref #6566 Refactor src folder to src/main/java

ref #6566 Sort main menu