Board Thread:Questions and Answers/@comment-90.208.86.237-20121218200450/@comment-5785654-20121218201134

Why would you mess with server.properties just to pick a seed? Just go to more world options.