From d1bd96e2e08367da9bd3b9a69f2d5d653508aceb Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Jan 06 2012 20:46:45 +0000
Subject: Building with gcj fails, so make sure we get OpenJDK.

Drop two unnecessary BRs.

---

diff --git a/cvc3.spec b/cvc3.spec
index 08df502..6e8493b 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -17,10 +17,9 @@ Patch1:         cvc3-doxygen.patch
 BuildRequires:  bison
 BuildRequires:  doxygen
 BuildRequires:  emacs
-BuildRequires:  emacs-el
 BuildRequires:  flex
 BuildRequires:  gmp-devel
-BuildRequires:  java-devel
+BuildRequires:  java-devel >= 1:1.6.0
 BuildRequires:  jpackage-utils
 BuildRequires:  perl
 BuildRequires:  python
@@ -28,7 +27,6 @@ BuildRequires:  time
 BuildRequires:  transfig
 BuildRequires:  tex(latex)
 BuildRequires:  xemacs
-BuildRequires:  xemacs-devel
 
 %description
 CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT)