More core documentation and improvements in javadoc generation