private void readSafeJavaCSV (File safeJavaCSV)
{
if (safeJavaCSV.exists()) {
CSVSafeJavaTableConsumer consumer = new CSVSafeJavaTableConsumer();
CSVReader reader = new CSVReader(consumer);
try {
reader.read(safeJavaCSV, I18NUtil.EncodingUTF8);
merge(consumer.getName2Spec(), _name2Specification);
}
catch (IOException ex) {
String msg = Fmt.S("file %s cannot be read", safeJavaCSV.getPath());
Log.util.warn(msg);