Removed DoubleCheckedLocking from checkstyle.xml. Since Checkstyle 5.6 it's...

Markus Fömpe

2013-01-04 9c47959ece677eaaceb6f3d2eb42b0466f60acdc

 src/com/gitblit/wicket/PageRegistration.java

@@ -49,6 +49,24 @@
   }



   /**

    * Represents a page link to a non-Wicket page. Might be external.

    * 
    * @author James Moger

    * 
    */

   public static class OtherPageLink extends PageRegistration {



      private static final long serialVersionUID = 1L;



      public final String url;



      public OtherPageLink(String translationKey, String url) {

         super(translationKey, null);

         this.url = url;

      }

   }



   /**

    * Represents a DropDownMenu for the topbar

    * 

    * @author James Moger