[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-1273) When hot code replace fails, offer "restart deployment "as an alternative