HomeSoftware Heritage

java: rename MapBuilder to NodeMapBuilder