[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-4881) Maven Library Provider doesn't save correctly changes made by a user