// Now, figure out module name from filename
// FIXME: this is a hack!
String name = filename.substring(
filename.lastIndexOf(File.separatorChar) + 1,
filename.length() - 7);
WhileyFile wf = new WhileyFile(pkg.append(name), filename);
skipWhiteSpace();
while (index < tokens.size()) {
Token lookahead = tokens.get(index);
if (lookahead.kind == Import) {