Top of the jedit.org page shows "Last Site Update: 09 Dec 2010 | Stable Version: 4.4". Going to the download page, it appears that all the links have been updated to version 4.4. However, trying to download gives an error, e.g. "The "/jedit/4.4/jedit4.4install.jar" file could not be found or is not available. Please select another file." Going to the file list at SourceForge shows 4.3.2 as being the most recent version. Page has been updated, but file downloads haven't?