Lecture 21
14
mars:> type # no filename
try {
filename = args.nextToken();
}
catch (NoSuchElementException e) {
throw
new BadShellCommandException( this );
}
Catch JVMs Exception and throw one of your own that
makes more sense in this application