javadoc enzo