. Update to 0.42. [1]

. Don't use jikes with this port (it breaks the build).

PR:		68174 [1]
Submitted by:	Ronald Klop <ronald@cs.vu.nl> (maintainer) [1]

java/jmp/Makefile

@@ -6,8 +6,7 @@
 #
 
 PORTNAME=	jmp
-PORTVERSION=	0.41
-PORTREVISION=	1
+PORTVERSION=	0.42
 CATEGORIES=	java devel
 MASTER_SITES=	http://www.khelekore.org/jmp/
 
@@ -37,6 +36,7 @@ USE_LIBTOOL_VER=13
 USE_GMAKE=	yes
 USE_JAVA=	1.2+
 NEED_JAVAC=	yes
+USE_JIKES=	no
 
 MAKE_FLAGS=	JAVAC=${JAVAC} JAVAH=${JAVAH}
 

java/jmp/distinfo

@@ -1,2 +1,2 @@
-MD5 (jmp-0.41.tar.gz) = 122a91001e01fccd65c8d0bd6e18e1c0
-SIZE (jmp-0.41.tar.gz) = 483383
+MD5 (jmp-0.42.tar.gz) = f29b6f75526099fe94ff7c6ab06d4474
+SIZE (jmp-0.42.tar.gz) = 484703

java/jmp/files/patch-instance_owners.c

@@ -1,15 +1,14 @@
 $FreeBSD$
 
---- instance_owners.c	Tue May 13 20:28:40 2003
-+++ instance_owners.c	Tue May 13 20:28:11 2003
-@@ -11,6 +11,10 @@
- #include <jmp-config.h>
- #include <inttypes.h>
- 
+--- instance_owners.c.orig	Fri Jun 25 02:20:42 2004
++++ instance_owners.c	Fri Jun 25 02:28:35 2004
+@@ -16,0 +17,4 @@
 +#if __FreeBSD__ < 5
 +#define PRId32 "d"
 +#endif
 +
- enum {
-     INFO,
-     NUM_COLUMNS
+@@ -205,0 +210 @@
++    GtkWidget* menuitem;
+@@ -207 +212 @@
+-    GtkWidget* menuitem = gtk_menu_item_new_with_label (buf);
++    menuitem = gtk_menu_item_new_with_label (buf);