}
int pos = k.lastIndexOf('.');
if (pos >= 0) {
+ if (path == null) path = "";
path += k.substring(0, pos);
k = k.substring(pos + 1);
}
if (s.length() > 0 && !s.equals(".")) {
Object ob = scope.get(s);
if (ob == null || !(ob instanceof JS))
- throw new JSExn("path not found");
+ throw new JSExn("path not found ");
scope = (JS)ob;
}
}