[INFO] Starting minecraft server version 1.2.5 2012-07-11 11:30:15 [INFO] Loading properties 2012-07-11 11:30:15 [INFO] Starting Minecraft server...
[SEVERE] java.util.zip.ZipException: Not in GZIP format 2012-06-24 10:14:24 [SEVERE]at java.util.zip.GZIPInputStream.readHeader(Unknown Source)...
Separate names with a comma.