1These files are generated from docs/technotes/tools pages in the 2jdk/pubs subspace of the jdk workspace (adjacent to jdk/j2se). 3