void savePointsCSV(ArrayList c, String fileName, float fscale) {
  PrintWriter f;
  PVector p;
  int i;
  f = createWriter(fileName);
  //f.println("x;y;");
  for(i=0; i < c.size(); i++) {
    p = (PVector)c.get(i);
    f.println((p.x*fscale) + ";"+(p.y*fscale)+";");
  }
  f.close();
  println("Saved "+i+" points to file "+fileName);
}