[jbosstools-issues] [JBoss JIRA] (JBDS-2371) should we add -Djava.net.preferIPv4Stack=true to jbdevstudio.ini and "Core Features" p2.inf to avoid JDK7/IPv6 issues?