File:Ice Cream Maker from JML