Interactive verification

```
Now verifier only runs when file is saved, but Java errors are flagged on
the unsaved version of the file.  It might be nice to add a similar feature
for Joe-E errors.
```

Original issue reported on code.google.com by `amett...@gmail.com` on 23 Feb 2008 at 7:01
