# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1405089052 -7200
# Node ID b11f1c7cf6a5be0daf92e27b294e9f2abffc6b9a
# Parent  c087cb67ba6d3d0ef94d413eec4a37991a8a2e51
findbugs: add lafo mirror

diff -r c087cb67ba6d -r b11f1c7cf6a5 mx/projects
--- a/mx/projects	Fri Jul 11 16:28:31 2014 +0200
+++ b/mx/projects	Fri Jul 11 16:30:52 2014 +0200
@@ -24,7 +24,7 @@
 library@CHECKSTYLE@urls=jar:http://sourceforge.net/projects/checkstyle/files/checkstyle/5.5/checkstyle-5.5-bin.zip/download!/checkstyle-5.5/checkstyle-5.5-all.jar
 
 library@FINDBUGS@path=lib/findbugs-3.0.0.jar
-library@FINDBUGS@urls=jar:http://sourceforge.net/projects/findbugs/files/findbugs/3.0.0/findbugs-3.0.0.zip/download!/findbugs-3.0.0/lib/findbugs.jar
+library@FINDBUGS@urls=jar:http://lafo.ssw.uni-linz.ac.at/graal-external-deps/findbugs-3.0.0.zip!/findbugs-3.0.0/lib/findbugs.jar,jar:http://sourceforge.net/projects/findbugs/files/findbugs/3.0.0/findbugs-3.0.0.zip/download!/findbugs-3.0.0/lib/findbugs.jar
 library@FINDBUGS@sha1=e9a938f0cb34e2ab5853f9ecb1989f6f590ee385
 
 library@DACAPO@path=lib/dacapo-9.12-bach.jar