Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:

/**
 * Method main() diverges.
 */

public class TestJulia2 {
    private Object f;

    public static void main(String[] args) {
	Object o;
	TestJulia2 tj = new TestJulia2();

	if (args.length == 1)
	    o = new Object();
	else
	    o = new TestJulia2();

	tj.f = o;

	tj.f.equals(args);
    }

    public boolean equals(Object obj) {
	while (true) {}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 25 and 26 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||0: New TestJulia2||#0: a2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
Relations: 

1:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||3: DUP||#0: a2||o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

2:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||4: TestJulia2.<init>()V||#0: a2||o116, o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

3:

<TestJulia2.<init>||0: load ADDR #0||#0: o116|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o116, o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

4:

<TestJulia2.<init>||1: java.lang.Object.<init>()V|| - ||o116>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o116, o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

5:

<TestJulia2.<init>||4: return|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o116, o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

6:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||7: store ADDR to #2||#0: a2||o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

7:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||8: load ADDR #0||#0: a2, #2: o116|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

8:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||9: arraylength||#0: a2, #2: o116||a2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

9:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||10: push 1||#0: a2, #2: o116||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||11: NE||#0: a2, #2: o116||iconst_0, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: 

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||25: New TestJulia2||#0: a2, #2: o116|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

12:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||28: DUP||#0: a2, #2: o116||o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

13:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||29: TestJulia2.<init>()V||#0: a2, #2: o116||o117, o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

14:

<TestJulia2.<init>||0: load ADDR #0||#0: o117|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o116||o117, o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

15:

<TestJulia2.<init>||1: java.lang.Object.<init>()V|| - ||o117>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o116||o117, o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

16:

<TestJulia2.<init>||4: return|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o116||o117, o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||32: store ADDR to #1||#0: a2, #2: o116||o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||33: load ADDR #2||#0: a2, #1: o117, #2: o116|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||34: load ADDR #1||#0: a2, #1: o117, #2: o116||o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

20:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||35: Write to f||#0: a2, #2: o116||o116, o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=#)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

21:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||38: load ADDR #2||#0: a2, #2: o116|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

22:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||39: Read from f||#0: a2||o116>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

23:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||42: load ADDR #0||#0: a2||o117>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

24:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||43: java.lang.Object.equals(Ljava/lang/Object;)Z|| - ||o117, a2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

25:

<TestJulia2.equals||0: jmp|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||43: java.lang.Object.equals|| - ||o117, a2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

26:

<TestJulia2.equals||0: jmp|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a2(lv_0_0)]
<TestJulia2.main||43: java.lang.Object.equals|| - ||o117, a2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a2([java.lang.String...]): length iconst_0
	a3([java.io.ObjectStreamField|]): length iconst_0
	o2!: String$CaseInsensitiveComparator()
	o116!: TestJulia2(f=o117)
	o117!: TestJulia2(f=#)
Relations: iconst_0<iconst_1

(2) NO