richbeans: close XMLDecoder to fix warning