MJAVADOC-308: workaround