[Java-player-developers] MapInterface

[Kurt K. <kon...@AI...>]

Folks, here's a new diff for MapInterface.java, fixing a problem with 
compressed map tiles.  The previous version didn't uncompress the tile; 
this version uses Java's ZLIB classes to do it.  Tested with Player 2.0.2.

Cheers --Kurt