javadoc: span and character methods