Device Serial Number Encoding corrupts Vbox file

[Consequences]

Oddly, I added the device and this problem didn't show up for a couple of days. Error is as follows:

PCDATA invalid Char value 25.
Location: '/home/kcgtester/VirtualBox VMs/Windows 7 Base/Windows 7 Base.vbox', line 240 (25), column 116.
/build/buildd/virtualbox-4.1.12-dfsg/src/VBox/Main/src-server/MachineImpl.cpp[707] (nsresult Machine::registeredInit()).
Result Code: 
NS_ERROR_FAILURE (0x80004005)
Component: 
VirtualBox
Interface: 
IVirtualBox {c28be65f-1a8f-43b4-81f1-eb60cb516e66}

And the line from the VBox file is as follows:

<DeviceFilter name="POSH Mfg.Ltd. POSH MX5USBKB [0100]" active="true" vendorId="0980" productId="9040" revision="0100" manufacturer="POSH Mfg.Ltd." product="POSH MX5USBKB " serialNumber="8&#xFF;f0W17&amp;C" remote="0"/>

It's obviously something wrong with the serialnumber field. VBox file is attached.

Host is Ubuntu 12.04 x64 and guest is Win7.

[Consequences]

Corrupted VBox

[Consequences]

May be duplicate of issue in Ticket #8948 which claims this was fixed but may not have been.

I was able to simply overwrite the serial number value with "123456789" and it loads properly.

[Frank Mehnert]

I cannot reproduce your problem with 4.1.32. I've manually added the serial number of your USB device to a settings file. Please reopen if you can still reproduce this problem with 4.1.32.