Patch JNA path in build scripts#750

sergej-koscejev merged 1 commit intomaintenance/mps20223JetBrains/MPS-extensions:maintenance/mps20223from

feature/patch-jna-pathJetBrains/MPS-extensions:feature/patch-jna-pathCopy head branch name to clipboard