Most likely something went poorly and MS decided a WSD port would be better.
Just reinstall the driver with a Standard TCP/IP port and you will be fine, even if using a v4 driver.
After the latest windows update, 11/30/2015, none of the computers in our network can print to our Phaser 4510. I have tried updating the drivers, uninstalling and reinstalling the printer, changing the port with no success.
I can go to the address for our phaser and print out the forms from the printer itself, but cannot print from my computer to the printer.
The other printer in our network works fine.