[cvc3] Building with gcj fails, so make sure we get OpenJDK. Drop two unnecessary BRs.

[Jerry James]

commit d1bd96e2e08367da9bd3b9a69f2d5d653508aceb
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Jan 6 13:46:45 2012 -0700

    Building with gcj fails, so make sure we get OpenJDK.
    Drop two unnecessary BRs.

 cvc3.spec |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
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)