Part of JDEE doc in Texinfo format.

Up to "Generating Code".