start maude iop_maude_wrapper basura load-jpl-restore
start graphics2d iop_graphics2d_wrapper $IOPBINDIR -Xms1024m -Xmx2048m  -Dcom.apple.mrj.application.apple.menu.about.name=PLA4
start filemanager iop_filemanager
select maude

