intellij Javadoc bug workaround