code change for javac compiler bug