[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-3809) Error saving server editor when the file has been modified since the start of editing.

Error saving server editor when the file has been modified since the start of editing. -------------------------------------------------------------------------------------- Key: JBIDE-3809 URL: https://jira.jboss.org/jira/browse/JBIDE-3809 Project: Tools (JBoss Tools) Issue Type: Bug Components: JBossAS Affects Versions: 3.0.0.GA Reporter: Anton Klimkovich Attachments: Screenshot-Update conflict .png EXECUTE: Double click on server in Servers view. ASSERT: Server Overview wizard appeares. EXECUTE: Swith radiobutton to Use custom deploy folder. EXECUTE: Right click on this server in server view. Select properties. Press "Switch location" button(from workspace metadata to target folder) EXECUTE: Back to Server Overview wizard ASSERT: Suggestion to save file. EXECUTE: Select Do not save the changes. EXECUTE: Save file using Ctrl+S or Save icon FAILURE: Error saving server editor. Log attached. Maybe related to JBIDE-3759