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 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 -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira