[jbosstools-issues] [JBoss JIRA] (JBIDE-16589) save screenshot adds double dots in filename