if (we.getWheelRotation() > 0){ zoomIn(); } else { zoomOut();
if(GUIPreferences.getInstance().getMouseWheelZoom()) { if (we.getWheelRotation() > 0){ zoomIn(); } else { zoomOut(); }
            public void mouseWheelMoved(MouseWheelEvent we){                if (we.getWheelRotation() > 0){                        zoomIn();                } else {                        zoomOut();                }            }