docs: document license-check Java prefs workaround#5585

mcollovati wants to merge 1 commit into

mainvaadin/docs:mainfrom

docs/document-java-preferences-issue-in-protected-envsvaadin/docs:docs/document-java-preferences-issue-in-protected-envsCopy head branch name to clipboard