[DrJava] OS X Package Issue

[Peter C. <cen...@ri...>]

The default handler for GZip compressed files in Mac OS X is a 
third-party utility called StuffIt Expander.  This utility is 
included with a standard OS X installation, and it is the 
program executed when a user double-clicks a *.gz file in the 
Finder.  Unfortunately, this program does not support OS X-style 
long file names, AND it apparently cannot read long filenames 
out of GZip archives.  When a user double-clicks a *.gz file 
with a filename longer than 31 characters, the file that is 
decompressed typically has a mangled name with an incorrect 
filename extension.

What this means for us is that we cannot ship *.dmg.gz files 
with the full version number on them, since the resulting 
filename is well over 31 characters long.  The package I've just 
uploaded uses a compressed image format instead, resulting in a 
slightly larger file that will work on all OS X systems.

I also included the user documentation PDF in the image so that 
it is a single-download distributable package.  The PDF works 
fine with OS X's included Preview application.

--
Peter