ptolemy.domains.ptinyos.gui