document.write("« The European Commission versus Android");document.write(" | ");document.write("The Java type system is broken »");