public State mouseWheelMoved(Widget widget, WidgetMouseWheelEvent event) {
final Scene scene = widget.getScene();
int amount = event.getWheelRotation();
JScrollPane scrollPane = findScrollPane(scene.getView());
Point viewPosition = null;
Point mouseLocation = scene.convertSceneToView(event.getPoint());
int xOffset = 0;
int yOffset = 0;
Point oldViewPosition = null;
Rectangle bounds = new Rectangle(scene.getBounds());
Dimension componentSize = new Dimension(scene.getView().getPreferredSize());