JFXXMLEditor a xml editor