Plugin structure fixes#2

romeran wants to merge 1 commit into

mainjfrog/vscode-plugin:mainfrom

JML-02-Plugin-structure-fixesjfrog/vscode-plugin:JML-02-Plugin-structure-fixesCopy head branch name to clipboard