E-mail addresses at openjdk.org

[John Neffenger]

I noticed that my last commit used the address jgn...@openjdk.org 
instead of the address I normally use to create and sign commits. GitHub 
didn't recognize the commit as mine until I added the address to my account.

Do the openjdk.org addresses receive e-mail? If not, do we just leave 
the address unverified in our GitHub accounts?

Thanks,
John