patch for HtmlBlockPanel.java