fixing html stripper to work under java 1.6