Java Puzzle 75: Heads or Tails?

Поведение приведённой ниже программы меняется при переходе на Java 5. Почему? Как будет себя вести программа на версиях 1.4 и 5?

import java.util.Random;
public class CoinSide {
  private static Random rnd = new Random();
  private static CoinSide flip() {
    return rnd.nextBoolean()
      ? Heads.INSTANCE
      : Tails.INSTANCE;
  }
  public static void main(String args) {
    System.out.println(flip());
  }
}
class Heads extends CoinSide {
  private static Heads INSTANCE = new Heads();
  public String toString() {
    return "heads";
  }
}
class Tails extends CoinSide {
  private static Tails INSTANCE = new Tails();
  public String toString() {
    return "tails";
  }
}

Начнём с версии 1.4 - программа не скомпилируется. Поведение условного оператора (?:) раньше было более ограничивающим. Он требовал, чтобы обе части были одинакового класса или один класс был бы подклассом другого. А в нашем примере это не так.
После версии 5 стало дозволено немного больше. Результат условного оператора имеет наиболее общий класс (в нашем случае - CoinSide). В большинстве случаев все классы имеют общий тип - Object.
Надо будет проверить ещё с примитивными типами. Будет ли работать auto-boxing?
Авторы рекомендуют всегда использовать последний релиз Java-платформы, так как в последние релизы включены многие улучшения, делающие жизнь программистов легче.
А вот о новых багах, особенно регрессиях, авторы молчат... ;)