Server.java: fix spacing, sadly

Would love to get Eclipse default without this, but for now
stick to repo standards.