end-user documentation of gzipping of Ring seq bodies under JDK6 vs. 7