What is the correct way to set experience? Eg. I want to give a player 25 experience points. The JavaDoc is extremely vague about this. Do I need to use an external library?