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