[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.5.2+dfsg-1-12-gff5837d

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit ff5837daf4f60a7d02274b317733f564a324e4f9
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Sun Mar 24 21:34:42 2013 +0100

    Add libjsr305-java to B-D.

diff --git a/debian/changelog b/debian/changelog
index a7c222a..f5bdf2b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 jedit (5.0.0+dfsg-1) unstable; urgency=low
 
   * New upstream release.
+  * Add libjsr305-java to B-D.
 
  -- Gabriele Giacone <1o5g4r8o at gmail.com>  Sun, 24 Mar 2013 20:40:33 +0100
 
diff --git a/debian/control b/debian/control
index b116e2c..2575b41 100644
--- a/debian/control
+++ b/debian/control
@@ -17,6 +17,7 @@ Build-Depends: ant,
                junit,
                libbsf-java,
                libcommons-logging-java,
+               libjsr305-java,
                quilt (>= 0.46-7~),
                xsltproc
 Build-Depends-Indep: openjdk-6-jdk | sun-java6-jdk

-- 
jedit - Java plugin-based editor for programmers