Java miner code for run_miner.bat?