Fix for encoding issue in WSDL loader