quarry mining in java html