replaceClippingPlaneNums method
Implementation
String replaceClippingPlaneNums(String string, WebGLParameters parameters) {
  string = string.replaceAll("NUM_CLIPPING_PLANES", parameters.numClippingPlanes.toString());
  string = string.replaceAll("UNION_CLIPPING_PLANES", (parameters.numClippingPlanes - parameters.numClipIntersection).toString());
  return string;
}