height: 15px;
        font-family: Verdana, sans-serif;
        font-size: 8pt;
        font-weight: bold;
        text-decoration: none;
        color: #000000;
        background-color: #d0d0d0;
        border-top-color: #ffffff;
        border-bottom-color: #707070;
        border-right-color: #707070;
        border-left-color: #ffffff;
        border-style: solid solid;
        border-top-width: 1px;

        "de - Zwölf Boxkämpfer", // x
        "el - Γαζέες καὶ μυρτιὲς", // x
        "es - pingüino kilómetros frío, añoraba", // x
        "fr - cœur déçu lâme plutôt naïveæ", // x
        "ga - Íosa, Úrmhac na hÓighe, pór Éava Ádhaimh", // x
        "hu - Árvíztűrő tükörfúrógép", // x
        "is - Kæmi ný öxi hér ykist þjófum nú bæði víl og ádrepa", // x
        "jp-hi - いろはにほへとちりぬるを", // x
        "jp-ka イロハニホヘト チリヌルヲワカヨタレソ ツネナラム", // x

     * so. We cannot just comment out this method and use readString of
     * ServerMessageBlock.java because the arguments are different, however
     * one might be able to reduce this.
     */
    
                if( len > 0 && src[srcIndex + len - 1] == '\0' ) {
                    len--;
                }