JDK7 breaks backward compatibility with XMLEncoder