/* */ }
/* */
/* */ public void setViewPlatform(ViewPlatform vp)
/* */ {
/* 183 */ TransformGroup tg = getViewPlatformTransform();
/* 184 */ tg.removeChild(this.viewPlatform);
/* 185 */ tg.addChild(vp);
/* 186 */ this.viewPlatform = vp;
/* */
/* 188 */ Enumeration e = this.viewerList.keys();
/* */