update tomcat to 8.5.23

LEPILLER JulienThu Oct 12 14:31:22+0200 2017

6317ccf

update tomcat to 8.5.23

more/packages/java.scm

3838 
(define-public java-tomcat
3939 
  (package
4040 
    (name "java-tomcat")
41-
    (version "8.5.20")
41+
    (version "8.5.23")
4242 
    (source (origin
4343 
              (method url-fetch)
4444 
              (uri (string-append "mirror://apache/tomcat/tomcat-8/v"
4545 
                                  version "/src/apache-tomcat-" version "-src.tar.gz"))
4646 
              (sha256
4747 
               (base32
48-
                "0436glw5knwnlj5636vsb966zfdfcw3jpnwbpwjn743p3gk0mi3b"))))
48+
                "1m6b1dikib46kbgz9gf0p6svi00nsw62b9kgjzn6sda151skbbza"))))
4949 
    (build-system ant-build-system)
5050 
    (inputs
5151 
     `(("java-eclipse-jdt-core" ,java-eclipse-jdt-core)))

…

6060 
           (lambda _
6161 
             (mkdir "downloads")
6262 
             (substitute* "build.xml"
63-
               (("download-compile,") ""))
63+
               (("download-compile,") "")
64+
               (("depends=\"validate\"") "depends=\"build-prepare\"")
65+
               ((",download-validate") ""))
6466 
             (with-output-to-file "build.properties"
6567 
               (lambda _
6668 
                 (display