public void line(Coord c1, Coord c2, double w) {
st.set(cur2d);
apply();
gl.glLineWidth((float) w);
gl.glBegin(GL.GL_LINES);
vertex(c1);
vertex(c2);
gl.glEnd();
checkerr();
}
public void rect(Coord ul, Coord sz) {
st.set(cur2d);
apply();
gl.glLineWidth(1);
gl.glBegin(GL.GL_LINE_LOOP);
vertex(ul.x + 0.5f, ul.y + 0.5f);
vertex(ul.x + sz.x - 0.5f, ul.y + 0.5f);
vertex(ul.x + sz.x - 0.5f, ul.y + sz.y - 0.5f);
vertex(ul.x + 0.5f, ul.y + sz.y - 0.5f);
gl.glEnd();
checkerr();
}