((argb >> 24) & 0xff) << 1);
alpha);
  public static Color intToColor(int argb)  {    // don't forget: PHP alpha channel is only 7 bits and is polarity-reversed!    return new Color((argb >> 16) & 0xff,		     (argb >>  8) & 0xff,		     (argb >>  0) & 0xff,		     ((argb >> 24) & 0xff) << 1);    //(0xff - (((argb >> 24) & 0x7f) << 1)));  }