gr.setColor(Color.DARK_GRAY);
gr.setStroke(new BasicStroke(border_add));
gr.addRenderingHints(new RenderingHints(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON));
int[] xvals = { TEXSIZE/4, 3*TEXSIZE/4-1, TEXSIZE-1, 3*TEXSIZE/4-1, TEXSIZE/4, 0, TEXSIZE/4 };
int[] yvals = { 0, 0, TEXSIZE/2, TEXSIZE-1, TEXSIZE-1, TEXSIZE/2, 0 };
gr.drawPolygon(xvals, yvals, xvals.length);
}
if (alpha < 1.0f) {
WritableRaster wr = src.getAlphaRaster();
for (int y = 0; y < src.getHeight(); y++) {