The bug

Should DNS names be validated to be correct, then remove incorrect characters? Or at least strip whitespace on either side?

How to reproduce

Connect to " x.nerd.nu", you'll get an error about the server not being found.

Potential fix

Easy way to fix in java:

String servername; //assuming we're storing the info from the "Server Address" box into a string
servername = servername.trim();