private String prependTimestamp(String str) {
        if ( str.isEmpty() ) {
            return str;
        } else {
            Calendar c = Calendar.getInstance();
            String timestamp = timestampFormat;
            timestamp = timestamp.replaceFirst("h", getTwoDigits( c.get(Calendar.HOUR_OF_DAY) ) );
            timestamp = timestamp.replaceFirst("m", getTwoDigits( c.get(Calendar.MINUTE) ) );
            timestamp = timestamp.replaceFirst("s", getTwoDigits( c.get(Calendar.SECOND) ) );
            return HTML.small(timestamp) + " " + str;
        }
    }