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

