Fixes #1028 - FilestorePage now pages and filters

Paul Martin

2016-04-07 91aad771ac411b317139bab1b862e9d9cfd4e59d

 src/main/java/com/gitblit/manager/FederationManager.java

@@ -367,6 +367,10 @@
                     && file.getName().toLowerCase().endsWith(Constants.PROPOSAL_EXT);
            }
         });
         if (files == null) {
            return list;
         }
				
         for (File file : files) {
            String json = com.gitblit.utils.FileUtils.readContent(file, null);
            FederationProposal proposal = JsonUtils.fromJsonString(json,