Minecraft Java edition for the raspberry pi
To maximize performance and to get solid 60fps, please follow ETA Prime's excellent walkthrough video: https://www.youtube.com/watch?v=oqNWJ52DLes
To run: Menu -> Games -> Minecraft
To run in a terminal: java -jar /usr/share/minecraftjava/launcher.jar
This installs the old Minecraft launcher so that MC can be launched properly with any version and Optifine.

Botspot has configured the install script to create a custom launcher_profiles.json so you don't have to change settings manually.