DS-Lab / src / main / java / dslab / rmi / serialize / dmap