if ((desiredLength < 0) || (originalLength <= desiredLength))
if ((desiredLength <= 0) || (originalLength <= desiredLength))
    protected String shortenName(String name, int desiredLength)    {        // TODO: Find an algorithm that generates unique names        int originalLength = name.length();        if ((desiredLength < 0) || (originalLength <= desiredLength))        {            return name;        }        int delta    = originalLength - desiredLength;        int startCut = originalLength / 2;        StringBuffer result = new StringBuffer();        result.append(name.substring(0, startCut));        result.append("_");        result.append(name.substring(startCut + delta + 1, originalLength));        return result.toString();    }