Files fetched: 1 STORED: http://dl.sourceforge.net/jedit/jedit42source.tar.gz c7fa902fd5ad3207efb45c9171eaacf1 jedit42source.tar.gz Size: 1685253 bytes -- Virtually Yours: distfiles.