205206207208209210211212213214215
display.sleep(); } renderer.getTimingSource().dispose(); renderer.shutdown(); animationTimer.dispose(); infoTimer.dispose(); display.dispose(); } private void updateBallCount() { f_infoLabel.setText("Balls: " + f_balls.size() + " FPS: " + getFPS());