Updated SizeCeilingFilter.java: updated Javadoc.