#312 fix ClassCastException in Eclipse JDT compiler...

... when trying to compute the erasure of the 'void' type, extend integration test that reproduced the error