Feature request: Incremental errors porting large new projects to Joe-E

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Eager new programmer turns on Joe-E for a large java project (for 
example Caja)
2. She notes the overwhelming number of verification errors (1000s) on a 
project that is continuing to grow and gives up on porting the project to 
Joe-E.

What is the expected output? What do you see instead?

Add a feature to help prevent the porter from being overwhelmed and to turn 
on joe-e even before a project fully passes the verifer.  Allow the 
programmer to record with a snapshot the current errors and filter those 
out from the Problem tab so the programmer can verify that future changes 
they make (having seen the light) are not increasing the number of places 
where code is outside the joe-e subset.

What version of the product are you using? On what operating system?


Please provide any additional information below.

Original issue reported on code.google.com by jas...@gmail.com on 17 Nov 2009 at 10:02