Adding JDomNav doc