workaround javadoc error