testing tool for JAXB bug in JDK