707172737475767778
while( !shell.isDisposed() ) { if( !display.readAndDispatch() ) display.sleep(); } glcanvas.dispose(); display.dispose(); } }