static Color colorWithAlpha(Color c, float alpha) {
  ret new Color(c.getRed()/255f, c.getGreen()/255f, c.getBlue()/255f,
    alpha);
}