gl.glDisable(GL2.GL_LINE_STIPPLE);
} else {
if (linePattern == LineAttributes.PATTERN_DASH) { // dashed lines
gl.glLineStipple(1, (short) 0x00ff);
} else if (linePattern == LineAttributes.PATTERN_DOT) { // dotted lines
gl.glLineStipple(1, (short) 0x0101);
} else if (linePattern == LineAttributes.PATTERN_DASH_DOT) { // dash-dotted lines
gl.glLineStipple(1, (short) 0x087f);
} else if (linePattern == LineAttributes.PATTERN_USER_DEFINED) { // user-defined mask
gl.glLineStipple(linePatternScaleFactor, (short) linePatternMask);
}