import java.awt.geom.*;

static float drawArrowHead_length = 2f;

static void drawArrowHead(Graphics2D g, int x1, int y1, int x2, int y2, int size) {
  if (y2 == y1 && x2 == x1) ret;
  
  new Polygon arrowHead;
  arrowHead.addPoint(0, 0);
  int l = iround(drawArrowHead_length*size);
  arrowHead.addPoint(-size, -l);
  arrowHead.addPoint(size, -l);

  new AffineTransform tx;
  double angle = Math.atan2(y2-y1, x2-x1);
  tx.translate(x2, y2);
  tx.rotate(angle-Math.PI/2d);

  AffineTransform old = g.getTransform();
  g.setTransform(tx);
  g.fill(arrowHead);
  g.setTransform(old);
}