I pushed the pretty printer source to the git repository.  I had to wrestle a bit with the Eclipse git plugin, so let me know if you have any trouble accessing the source or if the source organization doesn’t look right.

Thanks,

Gary