specifying maven.repo.remote in $USER_HOME/build.properties actually not a very good idea. some projects put custom repositories in their project.properties since the user's build properties overide those they won't build therefore from now on put the required remote repositories in the project properties
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.