Added patch comments in MiningManager.java