#
PORTNAME= jedit
PORTVERSION= 4.2.0pre14
PORTVERSION= 4.2.0pre15
CATEGORIES= editors java
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= ${PORTNAME}
MD5 (jedit42pre14install.jar) = 3723aaf545241aef0a261d9a140fb8ff
MD5 (jedit42pre15install.jar) = bc91d479864cae0bf0471de13036251b
SIZE (jedit42pre14install.jar) = 2076042
SIZE (jedit42pre15install.jar) = 2066422