HTML cleaner for Galileo Computing's openbooks, implemented in Java