Last week I released the GPD 3.1.1. It resolves several of the nasty problems with XML synchronization in the editor's source tab. This release will be included in the upcoming GA release of the Red Hat Development Studio (RHDS). I encourage you all to download and try it. As usual feedback is welcome on our forum and bugs can be reported in JIRA.