Does not give any exp to the player when mining coal, emerald, lapis, and diamond. Redstone does grant exp but does not ore eat

Fixed in f4d86cf