On supporting IE 7 in (Sun's) Java