#
PORTNAME= jedit
PORTVERSION= 4.2.0pre8
PORTVERSION= 4.2.0pre13
CATEGORIES= editors java
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= ${PORTNAME}
MD5 (jedit42pre8install.jar) = 0bb715ebd354cdbf8c1391a28649aa8c
MD5 (jedit42pre13install.jar) = 71e76c2d989218a7e745e61a40874d8c
SIZE (jedit42pre8install.jar) = 2113925
SIZE (jedit42pre13install.jar) = 2184161