Little improvements for JseXmlReader and PlatformUtils