MigrationMiner: An Automated Detection Tool of Third-Party Java Library Migration at the Method Level.