Fix options for javadoc