revert this line . . . JavaWriter should stay final