The XJavaDoc engine