[Checkers] Arrays and checkers

[Michael Ernst]

Mahmood-

I added another failing test case for arrays.

There is another failure that I can't seem to reproduce as a small test
case.  To reproduce it, see
  ~mernst/wisdom/build/build-freepastry
and follow the directions.

Also, this error message is not comprehensible:

/DS/home-0/mernst/tmp/try-freepastry/pastry/src/rice/p2p/util/XMLObjectOutputStream.java:656: invalid type, type need to be a supertype of the required type.
found   : java.lang.Class
required: @checkers.quals.Interned java.lang.Class
    return (Class[]) v.toArray(new Class[0]);
                 ^

There's an English error ("need" should be "needs"), but more seriously
there are 4 uses of "type" in the message, and it's not clear what any of
them refer to.

                    -Mike