Java web crawler for collecting Android applications on a specific market source; used for data collection