Program: 133546
Project: 133546
Buggy source:
/** 
 */
private void createListeners(){
  IWidgetValueProperty property=WidgetProperties.selection();
  RealSpinnerListener listener=new RealSpinnerListener(){
    @Override public void update(    RealSpinner realSpinner){
      if (currentShape == null) {
        return;
      }
      double size=sizeSpinner.getValue();
      double scaleX=scaleSpinners[0].getValue();
      double scaleY=scaleSpinners[1].getValue();
      double scaleZ=scaleSpinners[2].getValue();
      double rotationX=rotationSpinners[0].getValue();
      double rotationY=rotationSpinners[1].getValue();
      double rotationZ=rotationSpinners[2].getValue();
      double translationX=translateSpinners[0].getValue();
      double translationY=translateSpinners[1].getValue();
      double translationZ=translateSpinners[2].getValue();
      if (degrees) {
        rotationX=Math.toRadians(rotationX);
        rotationY=Math.toRadians(rotationY);
        rotationZ=Math.toRadians(rotationZ);
      }
      ICETransformation transformation=new ICETransformation();
      transformation.setSize(size);
      transformation.setScale(scaleX,scaleY,scaleZ);
      transformation.setRotation(rotationX,rotationY,rotationZ);
      transformation.setTranslation(translationX,translationY,translationZ);
      currentShape.setTransformation(transformation);
    }
  }
;
  sizeSpinner.listen(listener);
  for (  RealSpinner spinner : scaleSpinners) {
    spinner.listen(listener);
  }
  for (  RealSpinner spinner : rotationSpinners) {
    spinner.listen(listener);
  }
  for (  RealSpinner spinner : translateSpinners) {
    spinner.listen(listener);
  }
}

Fixed version (ground truth):
/** 
 */
private void createListeners(){
  IWidgetValueProperty property=WidgetProperties.selection();
  RealSpinnerListener listener=new RealSpinnerListener(){
    @Override public void update(    RealSpinner realSpinner){
      if (currentShape == null) {
        return;
      }
      double size=sizeSpinner.getValue();
      double scaleX=scaleSpinners[0].getValue();
      double scaleY=scaleSpinners[1].getValue();
      double scaleZ=scaleSpinners[2].getValue();
      double rotationX=rotationSpinners[0].getValue();
      double rotationY=rotationSpinners[1].getValue();
      double rotationZ=rotationSpinners[2].getValue();
      double translationX=translateSpinners[0].getValue();
      double translationY=translateSpinners[1].getValue();
      double translationZ=translateSpinners[2].getValue();
      if (degrees) {
        rotationX=Math.toRadians(rotationX);
        rotationY=Math.toRadians(rotationY);
        rotationZ=Math.toRadians(rotationZ);
      }
      Transformation transformation=new Transformation();
      transformation.setSize(size);
      transformation.setScale(scaleX,scaleY,scaleZ);
      transformation.setRotation(rotationX,rotationY,rotationZ);
      transformation.setTranslation(translationX,translationY,translationZ);
      currentShape.setTransformation(transformation);
    }
  }
;
  sizeSpinner.listen(listener);
  for (  RealSpinner spinner : scaleSpinners) {
    spinner.listen(listener);
  }
  for (  RealSpinner spinner : rotationSpinners) {
    spinner.listen(listener);
  }
  for (  RealSpinner spinner : translateSpinners) {
    spinner.listen(listener);
  }
}