More mining updates.

src/main/java/com/gmail/nossr50/skills/mining/Mining.java

@@ -22,7 +22,6 @@ import com.gmail.nossr50.spout.SpoutSounds;
 import com.gmail.nossr50.util.Misc;
 import com.gmail.nossr50.util.ModChecks;
 import com.gmail.nossr50.util.Skills;
-import com.gmail.nossr50.util.Users;
 
 public class Mining {
     private static AdvancedConfig advancedConfig = AdvancedConfig.getInstance();

src/main/java/com/gmail/nossr50/skills/mining/MiningManager.java

@@ -13,7 +13,6 @@ public class MiningManager {
     private Player player;
     private PlayerProfile profile;
     private int skillLevel;
-    private Permissions permissionsInstance;
 
     public MiningManager (Player player) {
         this.player = player;
@@ -56,10 +55,6 @@ public class MiningManager {
         return skillLevel;
     }
 
-    protected Permissions getPermissionsInstance() {
-        return permissionsInstance;
-    }
-
     protected Player getPlayer() {
         return player;
     }