Restore 'maven.java.net' repository

Restore 'maven.java.net' repository accidentally removed in commit
2337e763.