automata and sequence renderings no longer as standalone windows but as eclipse views [ as of corporate 415dec39081424dd04bce000d87d29073c22396c ]