I had the same problem. You must look on the workstation to see what the printer name is. Mostly, for HP printers, this could be like:
"HP LaserJet 4050"
and that is the real printer name. If you use that with the setdefaultprinter code everything must be working. And be sure that you have the latest kix.

Greetz AukeB