#110: javadoc added