Updates JreDocTool to print the JRE emulation reference HTML fragment to a file instead of stdout.

Rietveld review: http://gwt-code-reviews.appspot.com/130816


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7468 8db76d5a-ed1c-0410-87a9-c151d255dfc7
4 files changed