Fix javadoc warning: @name is an unknown tag