Create Magma.java