r1_2=
new BufferedReader(new InputStreamReader(new FileInputStream(afile1_2), "UTF8"));
OutputStreamWriter w1 = new OutputStreamWriter(new FileOutputStream(ofile), oenc);
Language de = Language.languageForISO639_1(lf);
Language en = Language.languageForISO639_1(le);
LanguagePair ende = null;
if (readAlignments) ende = LanguagePair.languageForISO639_1Pair(le + "-" + lf);
System.err.println("Reading " + en + " from: " + ifile1);
System.err.println("Reading " + de + " from: " + ifile2);
if (readAlignments)
System.err.println("Reading alignments (" + ende + ") from: " + afile1_2);