Fix javadoc of the  plugin options