browser.addLocationListener(new LocationAdapter(){
public void changing(LocationEvent event){
String loc = event.location.toString();
- if(!loc.equalsIgnoreCase("about:blank")){
- String func = loc.replace("file:///", "");
+ if(!loc.equalsIgnoreCase("about:blank") && !loc.startsWith("jar:")){
+ String func = loc.replaceAll("file:///", "");
func = func.replaceAll("#.+$", "");
String[] afunc = loc.split("\\.");
if(!afunc[1].equalsIgnoreCase(lastOccurrence)) {