[e-lang] Generated Policy class does not handle generic methods correctly

[Tyler Close]

The org.joe_e.taming.Policy class generated by the Joe-E verifier does
not correctly deal with generic methods. For example, it currently
throws an exception when trying to make a reflective call to
org.joe_e.array.ConstArray.array(); even though the provided safej
files mark this method as safe. The problem seems to be that the
Policy file contains an entry for:
"org.joe_e.array.ConstArray.array(T[])", but the runtime lookup is
done with the key: "org.joe_e.array.ConstArray.array(Object[])".

It also seems likely that all the org.joe_e* packages could simply
include the IsJoeE annotation, since their public APIs are safe to
call, normally, or through reflection.

--Tyler