String wicketId;
try {
wicketId = document.get(wicketIdRegion.getOffset(), wicketIdRegion.getLength());
WicketHyperlink wh = new WicketHyperlink(wicketIdRegion, wicketId, isHtmlFile ? "java" : "html");
wh.openJavaFileOnly(isHtmlFile);
wh.open();
} catch (BadLocationException e) {
}
}
}