import java.util.*;
import java.io.*;
import java.nio.charset.Charset;

public class HistoricalCharsetChecker
{
  public static void main(String[] args)
    throws Exception
  {
    Map charsetMap = Charset.availableCharsets();
    Iterator charsets = charsetMap.keySet().iterator();
    while (charsets.hasNext())
      {
	String charsetName = (String)charsets.next();
	String historicalName = getHistoricalName(charsetName);
	if (!historicalName.equals(charsetName))
	  System.out.println(charsetName + ": " + historicalName);
      }
  }

  private static OutputStream os = new ByteArrayOutputStream();

  private static String getHistoricalName(String charsetName)
    throws Exception
  {
    OutputStreamWriter osw = new OutputStreamWriter(os, charsetName);
    return osw.getEncoding();
  }
}