fixed compilation error (java 1.6_37)