WAR file format (Sun)