@Test
public void testCaseInsensitiveFilesystem() {

    File tempDir = Files.createTempDir();
    ClassFileNameHandler handler = new ClassFileNameHandler(tempDir, ".smali", false, false);
    File file = handler.getUniqueFilenameForClass("La/b/c;");
    checkFilename(tempDir, file, "a", "b", "c.smali");
    file = handler.getUniqueFilenameForClass("La/b/C;");
    checkFilename(tempDir, file, "a", "b", "C.1.smali");
    file = handler.getUniqueFilenameForClass("La/B/c;");
    checkFilename(tempDir, file, "a", "B.1", "c.smali");
}