Michael Allan’s files

 Name                     Size  
 Parent Directory           -   
 gwt/                       -   
 Count.java                12K  
 CountMod.gwt.xml         727   
 CountNode.java           7.6K  
 CountNodeIC.java         369   
 CountNodeW.java           38K  
 CountSource.java         315   
 CountSource1.java        2.8K  
 CountTable.java           26K  
 CR_Reconstruct.java      3.2K  
 CR_Unvote.java           3.8K  
 CR_Vote.java              20K  
 InputTable.java          6.2K  
 package-info.java         65   
 poll-service.js          2.8K  
 Poll.java                4.1K  
 PollService.java          32K  
 ReadyDirectory.java       48K  
 verification.xht          10K  
 Vote.java                 14K  
 VoteCastingContext.java  4.3K  
 WC_DivisionSmallMap.html 594   
 WC_DivisionSmallMap.java 3.1K  
 XCastRelation.java       9.2K