public synchronized void setFlipV(boolean flipV) {
   if (symbolProperties != null) {
     symbolProperties.setFlipV(flipV);
   }
   getOnImage().setFlipV(flipV);
   getOffImage().setFlipV(flipV);
   repaint();
 }