JNLPFile
.new XMLElement(new Hashtable(), false, true)
Postconditions:
XMLElement.countChildren() => 0
XMLElement.enumerateChildren() => empty enumeration
enumeratePropertyNames() => empty enumeration
getChildren() => empty vector
XMLElement.getContent() => ""
XMLElement.getLineNr() => 0
XMLElement.getName() => null