The bytemancheck script fails to typecheck scripts with non-package qualified target CLASS specifications because it does not know how to find the relevant class. However, this does not stop the rule from being valid. For example,

RULE foo
CLASS String
METHOD append(String)
. . .

is a valid rule and will be used to transform class java.lang.String . bytemancheck script will fail to typecheck it because it does not know whihc package to lookup the class in.

byetmancheck shoudldbe modified to take one of more argument pairs of the form -p <package> so that unqualified CLASS specifiers can be resolved to an actual class. The new syntax is

bytemancheck [-cp <classpath>] [-p <package>]* [-v] script1 ... scriptN

for example if the rule above was in file script.txt then the command line would be

bytemancheck -p java.lang script.txt