[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-1694) Save command "Ctrl" + "S" doesn't work in faces-config.xml editor on Tree tab under Linux.