When I sometimes leave a server or refresh the server list too often, my server list always resets, making me lose all server IPs. Though when making a backup of servers.dat and put that back in then, it always works again. Though it is still annoying.