Updated SizeFloorFilter.java: updated Javadoc.