Fixed bug 5.

Display a message and use default font if "Droid Sans Mono Dotted" not
available.