Add javadocs to frodo.jj