Fixed type checking bug.  Literals that can fit in a byte or short are of type int.  Michael: This change now agrees with the JLS, but may break the some PolyJ test cases, where the bug somehow got through.
Fixed type checking bug.  Literals that can fit in a byte or short are of type
int.  Michael: This change now agrees with the JLS, but may break the
some PolyJ test cases, where the bug somehow got through.

blue-systems-group/project.maybe.polyglot,xcv58/polyglot,xcv58/polyglot,liujed/polyglot-eclipse,liujed/polyglot-eclipse,xcv58/polyglot,blue-systems-group/project.maybe.polyglot,liujed/polyglot-eclipse,liujed/polyglot-eclipse,xcv58/polyglot,blue-systems-group/project.maybe.polyglot,blue-systems-group/project.maybe.polyglot