Fix DEVKIT-790
Add no tip message
Merge branch 'master' of github.com:mulesoft/mule-tooling-incubator into DEVKIT-743