[libcofoja-java] 01/03: Fixed another compilation errors Java 8

[Emmanuel Bourg]

This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository libcofoja-java.

commit 61da2ece151b4f520aff668cd005856f7f8107a9
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Wed Jun 4 16:23:32 2014 +0200

    Fixed another compilation errors Java 8
---
 debian/patches/02-java8-compatibility.patch | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/debian/patches/02-java8-compatibility.patch b/debian/patches/02-java8-compatibility.patch
index a8d73c9..62a33b7 100644
--- a/debian/patches/02-java8-compatibility.patch
+++ b/debian/patches/02-java8-compatibility.patch
@@ -36,3 +36,23 @@ Forwarded: http://code.google.com/p/cofoja/issues/detail?id=39
        }
      }
    }
+--- a/test/com/google/java/contract/tests/GenericsTest.java
++++ b/test/com/google/java/contract/tests/GenericsTest.java
+@@ -107,7 +107,7 @@
+     }
+   }
+ 
+-  private static class T<X extends Throwable> {
++  private static class TT<X extends Throwable> {
+     /* Test ability to contract methods that throw type parameters. */
+     @Requires("true")
+     public void f(X x) throws X {
+@@ -115,7 +115,7 @@
+     }
+   }
+ 
+-  private static class Npe extends T<NullPointerException> {
++  private static class Npe extends TT<NullPointerException> {
+     @Override
+     @Ensures("true")
+     public void f(NullPointerException x) throws NullPointerException {

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/libcofoja-java.git