--HG-- rename : src/mobility/random-position.cc => src/mobility/position-allocator.cc rename : src/mobility/random-position.h => src/mobility/position-allocator.h
--HG-- rename : src/mobility/random-position.cc => src/mobility/position-allocator.cc rename : src/mobility/random-position.h => src/mobility/position-allocator.h