118119120121122123124125126127128
return; SVGUniverse universe = diagram.getUniverse(); if ( universe != null ) { universe.setCurTime( curTime ); universe.updateTime(); component.repaint(); } } catch ( Exception e ) {