Resoning about Java Classes in Nuprl