looking for bug preventing XMLEncoder