Thanks - I then suppose I need to find some way of changing the names of every player. When I've created Vanilla servers in the past I've needed to use name-changing applications in order to let my friends log in - otherwise our names default to "player" or "offline" and don't let us log in -...