Moved code from Main.java to Decaf.java