Ops and Bans are cleared when updated server.jar to a new Snapshot update.

When our Vanilla Server updated to the latest version of The Nether Update Snapshot, we found that the ops file and the banned-players file was wiped to just "[]" and banned players could log back in again.