{
pkg = substr.substring (0, dot);
substr = substr.substring (dot + 1);
}
String fullName = prev == null ? pkg : prev.fullName () + '/' + pkg;
mod = (ModuleEntry)symbolTable.get (fullName);
if (mod == null)
{
mod = factory.moduleEntry ();
mod.name (pkg);