add javadoc (feature #127)