This is needed to adapt the graphics to the different sizes of my android devices.
import controlP5.*;
int buttonSize = ... ;
ControlP5 MyController;
Button but_Play;
MyController = new ControlP5(this);
// make button Play
PImage[] play_Img = {loadImage("play.png"), loadImage("play.png"), loadImage("play.png")};
//**play_Img.resize(0,60); = not allowed**
but_Play = MyController.addButton("but_Play")
.setValue(0)
.setPosition(tab, dotWidth)
.setSize(buttonSize, buttonSize)
.setImages(play_Img)
.updateSize()
;