[jarfil]

It isn't hard to type 10.0.0.1, and using local hostnames like "main" or "box1" wouldn't be much more secure either.