added HTMLUnit 2.13 library