This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
if (workAround6193279) {
File f = FileUtil.toFile(html);
try {
url = new URL ("file",null,f.getAbsolutePath());
url = new URL ("file",null,f.getAbsolutePath().replace("\\", "/"));
} catch (MalformedURLException e) {
ErrorManager.getDefault().notify(e);
}