Revised documentation comments. Cleaned a function in DocumentationFilter.java.