From owner-freebsd-ports Thu May 10 5:26:23 2001 Delivered-To: freebsd-ports@freebsd.org Received: from heinz.jollem.com (c104187.upc-c.chello.nl [212.187.104.187]) by hub.freebsd.org (Postfix) with ESMTP id C016F37B423 for ; Thu, 10 May 2001 05:26:19 -0700 (PDT) (envelope-from ernst@heinz.jollem.com) Received: (from ernst@localhost) by heinz.jollem.com (8.11.3/8.11.3) id f4ACOdH09384 for ports@freebsd.org; Thu, 10 May 2001 14:24:39 +0200 (CEST) (envelope-from ernst) Date: Thu, 10 May 2001 14:24:39 +0200 From: Ernst de Haan To: ports@freebsd.org Subject: Delete port java/jpda Message-ID: <20010510142439.A9342@c187104187.telekabel.chello.nl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Hi, I submitted the java/jpda port, but afterwards I found I didn't need it after all, I just switched from JDK 1.2 to JDK 1.3, and I didn't need JPDA for BugSeeker either, so it is not a dependency for another port either. So my suggestion would be to remove this port. Any objections? It would surprise me if anyone would actually use this port... Sincerely, Ernst -- Ernst de Haan Java Architect Jollem Information Technology "Come to me all who are weary and burdened and I will give you rest" -- Jesus Christ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message