bug in window manager shortkey setting

When I change the shortkeys for moving through
workspaces from the default:
     Ctrl+Alt+Left/Right/Up/Down
to: Ctrl+Left/Right/Up/Down
that works fine. However, after logging out and in again, only Ctrl+Left
works, the others are turned back to the default settings.
Still, the configuration file, xfce4-keyboard-shortcuts.xml, shows no
changes: the behavior does not match the configuration file anymore.

The problem seems to be that some of the original settings:

 <property name="&lt;Control&gt;&lt;Alt&gt;Left" type="string"
value="left_workspace_key"/>
  <property name="&lt;Primary&gt;&lt;Alt&gt;Right" type="string"
value="right_workspace_key"/>

are not removed from the conf-file: I could solve the problem by editing
those out.

Solution(?):
The problem is probably in the code under the "Reset to
Defaults"-button; these are the 8 codelines that it generates (where 4
codelines should be sufficient):

     <property name="&lt;Control&gt;&lt;Alt&gt;Up" type="string"
value="up_workspace_key"/>
      <property name="&lt;Control&gt;&lt;Alt&gt;Down" type="string"
value="down_workspace_key"/>
      <property name="&lt;Primary&gt;&lt;Alt&gt;Left" type="string"
value="left_workspace_key"/>
      <property name="&lt;Primary&gt;&lt;Alt&gt;Down" type="string"
value="down_workspace_key"/>
      <property name="&lt;Primary&gt;&lt;Alt&gt;Up" type="string"
value="up_workspace_key"/>
      <property name="&lt;Control&gt;&lt;Alt&gt;Left" type="string"
value="left_workspace_key"/>
      <property name="&lt;Primary&gt;&lt;Alt&gt;Right" type="string"
value="right_workspace_key"/>
      <property name="&lt;Control&gt;&lt;Alt&gt;Right" type="string"
value="right_workspace_key"/>

Finally, the attached script lists the entries in
xfce4-keyboard-shortcuts.xml and, in first three lines, shows an anomaly
in the file, caused by two missing backslashes. Filter the output
through sort -k2 and it shows many entries that occur twice: one
starting with Control, the other starting with Primary.
Hope this helps...

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: xfce4-settings 4.11.2-1ubuntu1
ProcVersionSignature: Ubuntu 3.13.0-19.40-generic 3.13.6
Uname: Linux 3.13.0-19-generic x86_64
ApportVersion: 2.13.3-0ubuntu1
Architecture: amd64
CurrentDesktop: XFCE
Date: Sun Mar 30 00:45:55 2014
InstallationDate: Installed on 2014-03-26 (3 days ago)
InstallationMedia: Xubuntu 14.04 LTS "Trusty Tahr" - Beta amd64 (20140325.1)
SourcePackage: xfce4-settings
UpgradeStatus: No upgrade log present (probably fresh install)