JobShop GUI: display nice names in the toolbox