Frequently merged change sets

When building old versions (e.g. for comparing benchmark results), it is often necessary to merge in some newer change sets to be able to compile, or to be able to run the benchmark.

Magic missing import bugs ([2483], [2889]):

svn merge -r2482:2483 http://svn.ipd.uka.de/repos/javaparty/JP/trunk
svn merge -r2888:2889 http://svn.ipd.uka.de/repos/javaparty/JP/trunk

New options to jpinvite

svn update jp/bin/jpinvite
svn merge -r<branch-copy-ref>:HEAD \
    http://svn.ipd.uka.de/repos/javaparty/JP/trunk/jp/bin/jpinvite \
    jp/bin/jpinvite