[143517] WSDL Editor: add checking to ensure user enters an 'unused' name when creating a new type or element.