Minecraft wiki entry for Development_versions, associated text: Gaining experience from mining ore is now different for each type of ore (mining coal ore will give the player the least amount while diamond ore & emerald ore will give the most amount of XP).