[jbosstools-issues] [JBoss JIRA] (JBIDE-17916) Should all jenkins jobs use the same JDK?