A tool to collect Android network traffic information