Backup clone of git://git.berlios.de/jamvm since it was offline end of March 2014