Fix some warnings in Eclipse

java/org/chromium/distiller/PageParameterDetector.java

 // Copyright 2015 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 package org.chromium.distiller;
 
 import com.google.gwt.regexp.shared.MatchResult;
 import com.google.gwt.regexp.shared.RegExp;
 
 import java.util.ArrayList;
-import java.util.Arrays;
 import java.util.Collections;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
 
 /**
  * Background:
  *   The long article/news/forum thread/blog document may be partitioned into several partial pages
@@ skipping 35 matching lines @@
     static final int MAX_PAGING_DOCS = 100;
 
     /**
      * The interface that page pattern handlers must implement to detect page parameter from
      * potential pagination URLs.
      */
     interface PagePattern {
        /**
         * Returns the string of the URL page pattern.
         */
+        @Override

[mdjones, 2016/02/24 22:24:35]

I would have thought this would be applied to the actual implementation and not
the interface.

[wychen, 2016/05/10 22:26:37]

You are right. Done.

         String toString();
 
        /**
         * Returns the page number extracted from the URL during creation of object that implements
         * this interface.
         */
         int getPageNumber();
 
         /**
          * Validates this page pattern according to the current document URL through a pipeline of
@@ skipping 397 matching lines @@
         sBadPageParamNames.add("subscriptions");
         sBadPageParamNames.add("tag");
         sBadPageParamNames.add("tags");
         sBadPageParamNames.add("video");
         sBadPageParamNames.add("videos");
         sBadPageParamNames.add("w");
         sBadPageParamNames.add("wiki");
     }
 
 }