diff -ruN /usr/ports/editors/jedit-devel/Makefile jedit-devel/Makefile
--- /usr/ports/editors/jedit-devel/Makefile	2007-10-14 07:33:18.000000000 -0700
+++ jedit-devel/Makefile	2007-12-22 10:51:47.000000000 -0800
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	jedit
-DISTVERSION=	4.3.p11
+DISTVERSION=	4.3.p12
 CATEGORIES=	editors java
 MASTER_SITES=	SF
 DISTNAME=	${PORTNAME}${PORTVERSION:S/.p/pre/}install
diff -ruN /usr/ports/editors/jedit-devel/distinfo jedit-devel/distinfo
--- /usr/ports/editors/jedit-devel/distinfo	2007-10-14 07:33:18.000000000 -0700
+++ jedit-devel/distinfo	2007-12-22 10:52:15.000000000 -0800
@@ -1,3 +1,3 @@
-MD5 (jedit4.3pre11install.jar) = 9443fa169c4f35ccec5f94240e378d7e
-SHA256 (jedit4.3pre11install.jar) = d9f407bb3833a21e16855f6fa59542d96762bc38620c86a85c4330e7dcd2e040
-SIZE (jedit4.3pre11install.jar) = 2290191
+MD5 (jedit4.3pre12install.jar) = 5ce3c2a6e8553d364a5dda71e7ed3647
+SHA256 (jedit4.3pre12install.jar) = a66ab77afdca4714df0e0857da01b95ae7942ec2736089892102b254542976b5
+SIZE (jedit4.3pre12install.jar) = 2306185