org.dita.javahelp extension points