public void taskStart(String s, int min, int max) {
   this.min = min;
   this.max = max;
   // lastP = -1;
   invP = ((float) frameCount) / (max - min);
   console.taskStart(s, min, max);
 }
 public void taskUpdate(int current) {
   int p = (min == max) ? 0 : (int) ((current - min) * invP);
   if (image != null && p != lastP) {
     lastP = p;
     updateTexture();
   }
   console.taskUpdate(current);
 }
 public void taskStop() {
   console.taskStop();
 }
 public void print(Module m, PrintLevel level, String s) {
   console.print(m, level, s);
 }