Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:

public class NO_24 {
    public static void main(String args[]) {
	int a = 1, b = 2;

	while (a + b < 5) {
	    a = a - b;
	    b = a + b;
	    a = b - a;
	}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 4 and 40 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||0: push 1|| - || ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

1:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||1: store INT to #1|| - ||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

2:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||2: push 2||#1: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

3:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||3: store INT to #2||#1: iconst_1||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

4:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||4: load INT #1||#1: iconst_1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

5:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||5: load INT #2||#1: iconst_1, #2: iconst_2||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

6:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||6: ADD||#1: iconst_1, #2: iconst_2||iconst_1, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

7:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||7: push 5||#1: iconst_1, #2: iconst_2||iconst_3>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

8:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||8: GE||#1: iconst_1, #2: iconst_2||iconst_3, iconst_5>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

9:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||11: load INT #1||#1: iconst_1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||12: load INT #2||#2: iconst_2||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||13: SUB||#2: iconst_2||iconst_1, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

12:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||14: store INT to #1||#2: iconst_2||iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

13:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||15: load INT #1||#1: iconst_-1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

14:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||16: load INT #2||#1: iconst_-1, #2: iconst_2||iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

15:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||17: ADD||#1: iconst_-1||iconst_-1, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

16:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||18: store INT to #2||#1: iconst_-1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||19: load INT #2||#1: iconst_-1, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||20: load INT #1||#1: iconst_-1, #2: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||21: SUB||#2: iconst_1||iconst_1, iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

20:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||22: store INT to #1||#2: iconst_1||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

21:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||23: jmp||#1: iconst_2, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

22:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||4: load INT #1||#1: iconst_2, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

23:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||5: load INT #2||#1: iconst_2, #2: iconst_1||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

24:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||6: ADD||#1: iconst_2, #2: iconst_1||iconst_2, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

25:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||7: push 5||#1: iconst_2, #2: iconst_1||iconst_3>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

26:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||8: GE||#1: iconst_2, #2: iconst_1||iconst_3, iconst_5>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

27:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||11: load INT #1||#1: iconst_2, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

28:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||12: load INT #2||#2: iconst_1||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

29:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||13: SUB||#2: iconst_1||iconst_2, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

30:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||14: store INT to #1||#2: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

31:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||15: load INT #1||#1: iconst_1, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

32:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||16: load INT #2||#1: iconst_1, #2: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

33:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||17: ADD||#1: iconst_1||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

34:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||18: store INT to #2||#1: iconst_1||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

35:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||19: load INT #2||#1: iconst_1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

36:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||20: load INT #1||#1: iconst_1, #2: iconst_2||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

37:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||21: SUB||#2: iconst_2||iconst_2, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

38:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||22: store INT to #1||#2: iconst_2||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

39:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||23: jmp||#1: iconst_1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

40:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a64(lv_0_0)]
<NO_24.main||4: load INT #1||#1: iconst_1, #2: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a66
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a64([java.lang.String...]): length iconst_0
	a66([java.io.ObjectStreamField|]): length iconst_0
	o33!: String$CaseInsensitiveComparator()
Relations: 

(2) NO