title: How to use csvSeparator with jpexport (jprofiler)?
body: <p>I am using jprofiler to make some tests about the memory usage of my application. I would like to include them in my build process. All the steps should work in command like.</p>
  
  <p>On step exports csv file from jps file with a command like: <br/>
  ~/jprofiler7/bin/jpexport q1.jps "TelemetryHeap" -format=csv q1_telemetry_heap.csv</p>
  
  <p>On my local machine (widows), it is working. On my server (linux) the csv file is not well formatted:</p>
  
  <p>"Time [s]","Committed size","Free size","Used size" <br/>
  0.0,30,784,000,19,558,000,11,226,000  <br/>
  1.0,30,976,000,18,376,000,12,600,000  <br/>
  2.0,30,976,000,16,186,000,14,790,000  <br/>
  3.0,30,976,000,16,018,000,14,958,000  <br/>
  4.01,30,976,000,14,576,000,16,400,000  <br/></p>
  
  <p>They is no way to distinguish the comma of csv format and the one of the numbering format.</p>
  
  <p>According to the documentation, I need to change the value of -Djprofiler.csvSeparator in the file bin/export.vmoptions.</p>
  
  <p>But I fail. I also try to change this value in jpexport.vmoptions and in jprofiler.vmoptions.</p>
  
  <p>What should I do?</p>
  
  <p>Thanks for your help</p>