pre-stacks seems to be aggressively cached ------------------------------------------ Key: JBIDE-18412 URL: https://issues.jboss.org/browse/JBIDE-18412 Project: Tools (JBoss Tools) Issue Type: Bug Components: discovery Affects Versions: 4.2.0.CR1 Environment: JBT 4.2.0.CR1, JBDS 8.0.0.CR1 Reporter: Fred Bricon Assignee: Rob Stryker Priority: Blocker Fix For: 4.2.0.CR2 The pre-stacks.yaml has been fixed on github to fix JBIDE-18393, but the server list doesn't seem to have been refreshed even though I restarted JBDS. Switching to a new workspace confirmed the download url is now correct and JBoss 6 can be downloaded. This seems wrong and needs to be checked/fixed.