dev-java/{jpf,jpfcodegen}: Removal. Fixes bug 567580.

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>

6 files changed, 0 insertions, 101 deletions

diff --git a/dev-java/jpf/Manifest b/dev-java/jpf/Manifest
deleted file mode 100644
index 64718e7683ac..000000000000
--- a/dev-java/jpf/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST jpf-src-1.5.1.zip 1115573 SHA256 93bc9852b9d86f788f5e3c53650aa11a18758526542e0ebc17a508818e91c2e4 SHA512 90326013b110f5729e25bde3f61985f7bee9f78c58ebc3631c271c3d02fc7e91851adf3aa79de71b8e1a1411a2d3b67ba8e4e13f55c9332505ea2adbbc00149b WHIRLPOOL 8530c8e01e034dcc4a642d6756d1bbf48572ed7dc15548bdd448847c661acfc80b6cc1d60f8bf147aab7e314114d077b6924768cfe2e2e7b04b371f3aacb5d52
diff --git a/dev-java/jpf/jpf-1.5.1.ebuild b/dev-java/jpf/jpf-1.5.1.ebuild
deleted file mode 100644
index 6f637194ccb8..000000000000
--- a/dev-java/jpf/jpf-1.5.1.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=1
-
-inherit java-pkg-2 java-ant-2
-
-DESCRIPTION="Java Plugin Framework - a runtime engine that dynamically discovers and loads plugins"
-HOMEPAGE="http://${PN}.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${PN}-src-${PV}.zip"
-LICENSE="LGPL-2.1"
-
-SLOT="1.5"
-KEYWORDS="amd64 ~ppc x86"
-IUSE=""
-
-S="${WORKDIR}"
-
-COMMON_DEP="dev-java/commons-logging:0
-	dev-java/ant-core"
-DEPEND="app-arch/unzip
-	>=virtual/jdk-1.5
-	${COMMON_DEP}"
-RDEPEND=">=virtual/jre-1.5
-	${COMMON_DEP}"
-
-src_unpack() {
-	unpack ${A}
-	cd "${S}"
-
-	java-ant_rewrite-classpath
-	rm -fv lib/*.jar || die
-	# needs some not yet packaged jxp dep, will add only on demand
-	rm -rfv source-tools/org/java/plugin/tools/{docgen,ant/DocTask.java} || die
-}
-
-# doc target is name="-javadoc" and would need a patch, on demand
-EANT_GENTOO_CLASSPATH="commons-logging,ant-core"
-
-src_install() {
-	java-pkg_dojar build/lib/jpf*.jar
-	java-pkg_register-ant-task
-
-	newdoc README.txt README || die
-	dodoc changelog.txt || die
-}
diff --git a/dev-java/jpf/metadata.xml b/dev-java/jpf/metadata.xml
deleted file mode 100644
index 9c3dfc5d5f17..000000000000
--- a/dev-java/jpf/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<herd>java</herd>
-	<upstream>
-		<remote-id type="sourceforge">jpf</remote-id>
-	</upstream>
-</pkgmetadata>
diff --git a/dev-java/jpfcodegen/Manifest b/dev-java/jpfcodegen/Manifest
deleted file mode 100644
index a6157e49a569..000000000000
--- a/dev-java/jpfcodegen/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST jpfcodegen-0.4.tar.bz2 27201 SHA256 c88401b6d872bf52aeb473bda16a77fb51b2f0236a4fb88ba4847d1bde174699 SHA512 9af5de54621afc941ac56f463b76a31732d97ad4fbbeabf43772c27e91f0e8fdfe5c089fc1cd22b2ad0bbac88d624086c94d751110bc77348706b39cedd45897 WHIRLPOOL c7005df485de6694658444cabdbcfa5ce20b35fe563f253a5b213801e98ee19eae48087df688281edc5ffd6f99eb481478ade568c2da3fc49287ac7e6795fe49
diff --git a/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild b/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild
deleted file mode 100644
index cdecabd733e9..000000000000
--- a/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit java-pkg-2 java-ant-2
-
-DESCRIPTION="Generator of classes for accessing the attributes and extensions of JPF plug-ins"
-HOMEPAGE="http://jabref.sourceforge.net/"
-
-SRC_URI="mirror://gentoo/${P}.tar.bz2"
-LICENSE="LGPL-3"
-
-SLOT="0"
-KEYWORDS="amd64 ~ppc x86"
-IUSE=""
-
-CDEPEND="dev-java/velocity:0
-	dev-java/jpf:1.5"
-DEPEND=">=virtual/jdk-1.6
-	app-arch/unzip
-	${CDEPEND}"
-RDEPEND=">=virtual/jre-1.6
-	${CDEPEND}"
-
-# doc target is name="-javadoc" and would need a patch, on demand
-EANT_BUILD_TARGET="jars"
-EANT_GENTOO_CLASSPATH="jpf-1.5,velocity"
-JAVA_ANT_REWRITE_CLASSPATH="true"
-
-src_install() {
-	java-pkg_newjar JPFCodeGenerator-${PV}.jar JPFCodeGenerator.jar
-	java-pkg_newjar JPFCodeGenerator-${PV}-rt.jar JPFCodeGenerator-rt.jar
-	dohtml index.html
-}
diff --git a/dev-java/jpfcodegen/metadata.xml b/dev-java/jpfcodegen/metadata.xml
deleted file mode 100644
index 3a6d059d80ca..000000000000
--- a/dev-java/jpfcodegen/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-  <herd>java</herd>
-  <upstream>
-    <remote-id type="sourceforge">jabref</remote-id>
-  </upstream>
-</pkgmetadata>