Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:

package simple.flip;

public class Flip {

	public static void flip(int i, int j) {
		int t = 0;
		while (i != 0 && j != 0) {
			t = i;
			i = j;
			j = t;
		}
	}
}


package simple.flip;

import simple.flip.Flip;

public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Flip.flip(args[0].length(), args[1].length());

	}

}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 17 and 28 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||0: load ADDR args||args: a109|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

1:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||1: push 0||args: a109||a109>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

2:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||2: Read ADDR from array||args: a109||a109, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

3:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||3: java.lang.String.length()I||args: a109||o19>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

4:

<java.lang.String.length||0: load ADDR this||this: o19|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||3: java.lang.String.length||args: a109||o19>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

5:

<java.lang.String.length||1: Read from count|| - ||o19>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||3: java.lang.String.length||args: a109||o19>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

6:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||3: java.lang.String.length||args: a109||o19>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

7:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||6: load ADDR args||args: a109||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

8:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||7: push 1|| - ||iconst_1, a109>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

9:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||8: Read ADDR from array|| - ||iconst_1, a109, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||9: java.lang.String.length()I|| - ||iconst_1, o42>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

11:

<java.lang.String.length||0: load ADDR this||this: o42|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||9: java.lang.String.length|| - ||iconst_1, o42>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

12:

<java.lang.String.length||1: Read from count|| - ||o42>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||9: java.lang.String.length|| - ||iconst_1, o42>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

13:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||9: java.lang.String.length|| - ||iconst_1, o42>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

14:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip(II)V|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

15:

<simple.flip.Flip.flip||0: push 0||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

16:

<simple.flip.Flip.flip||1: store INT to t||i: iconst_1, j: iconst_1||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

17:

<simple.flip.Flip.flip||2: load INT i||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

18:

<simple.flip.Flip.flip||3: EQ 0||i: iconst_1, j: iconst_1||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

19:

<simple.flip.Flip.flip||6: load INT j||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

20:

<simple.flip.Flip.flip||7: EQ 0||i: iconst_1, j: iconst_1||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

21:

<simple.flip.Flip.flip||10: load INT i||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

22:

<simple.flip.Flip.flip||11: store INT to t||j: iconst_1||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

23:

<simple.flip.Flip.flip||12: load INT j||j: iconst_1, t: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

24:

<simple.flip.Flip.flip||13: store INT to i||t: iconst_1||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

25:

<simple.flip.Flip.flip||14: load INT t||i: iconst_1, t: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

26:

<simple.flip.Flip.flip||15: store INT to j||i: iconst_1||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

27:

<simple.flip.Flip.flip||16: jmp||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

28:

<simple.flip.Flip.flip||2: load INT i||i: iconst_1, j: iconst_1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a109(lv_0_0)]
<simple.flip.Main.main||12: simple.flip.Flip.flip|| - ||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a111
	String.CASE_INSENSITIVE_ORDER: o151
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a111([java.io.ObjectStreamField|]): length iconst_0
	o151!: String$CaseInsensitiveComparator()
	o42(java.lang.String...): String(count=iconst_1, hash=i35, offset=i37, value=a18?)
	i35: #I{-inf,+inf}
	i37: [0,+inf){0,+inf}
	a109([java.lang.String...]): {o19, o42}
	o19(java.lang.String...): String(count=iconst_1, hash=i18, offset=i20, value=a7?)
	i18: #I{-inf,+inf}
	i20: [0,+inf){0,+inf}
a18:: [CHAR]
a7:: [CHAR]
Relations: 

(2) NO