Rename Miner to Miner.java