[jbosstools-issues] [JBoss JIRA] (JBIDE-27073) Set User-Agent when sending request to code.quarkus.io

Set User-Agent when sending request to code.quarkus.io ------------------------------------------------------ Key: JBIDE-27073 URL: https://issues.redhat.com/browse/JBIDE-27073 Project: Tools (JBoss Tools) Issue Type: Enhancement Components: quarkus Affects Versions: 4.14.0.Final Reporter: Jeff MAURY Assignee: Rob Stryker Priority: Major Fix For: 4.15.0.AM1 code.quarkus.io expects user agent with a form like: {code:java} ../.. (...;...;...) {code} so we should send something like: {code:java} product name/version (${System.getProperty("os.name")}; ${System.getProperty("os.version")}; ${System.getProperty("os.arch")}, Java ${System.getProperty("java.version")}) {code}