Проблемы со статистикой по таблицам, оптимизированным для памяти, и план запросов для хранимых процедур, скомпилированных собственными силами

Это не имеет большого смысла. Ваша исходная строка использует символы Unicode и равна ThinkPad.

Другими словами, приведенный ниже код дважды печатает ThinkPad:

public static void main(String args[]) {
    String str = "\u0054\u0068\u0069\u006e\u006b\u0050\u0061\u0064";
    System.out.println(str);
    String[] strArray = str.split("\\\\");
    System.out.println(Arrays.toString(strArray));
}

Или даже яснее, код ниже печатает true:

public static void main(String args[]) {
    String str = "\u0054\u0068\u0069\u006e\u006b\u0050\u0061\u0064";
    String str2 = "ThinkPad";
    System.out.println(str == str2);
}