Logged In: YES
user_id=25678

I don't think there is another way to overwrite JavaDoc. And that's the
reason why this is done in this way. But generally, you are correct.