minor change to make javac happy
minor change for javac