Termination of the given JBC could be disproven:

0 JBC
↳1 JBCNonTerm (⇔, 143 ms)
↳2 NO

(0) Obligation:

JBC Problem based on JBC Program:
public class NO_03 {
    public static void main(String args[]) {
	for (int i = 0; i < 100; i += 0)
	    for (int j = 0; j < 1; j++);
    }
}


(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 2 and 17 are repetitions.
0:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||0: push 0|| - || ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
1:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||1: store INT to #1|| - ||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
2:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||2: load INT #1||#1: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
3:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||3: push 100||#1: iconst_0||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
4:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||5: GE||#1: iconst_0||iconst_0, iconst_100>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
5:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||8: push 0||#1: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
6:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||9: store INT to #2||#1: iconst_0||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
7:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||10: load INT #2||#1: iconst_0, #2: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
8:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||11: push 1||#1: iconst_0, #2: iconst_0||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
9:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||12: GE||#1: iconst_0, #2: iconst_0||iconst_0, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
10:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||15: increment #2 by 1||#1: iconst_0, #2: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
11:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||18: jmp||#1: iconst_0, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
12:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||10: load INT #2||#1: iconst_0, #2: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
13:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||11: push 1||#1: iconst_0, #2: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
14:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||12: GE||#1: iconst_0, #2: iconst_1||iconst_1, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
15:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||21: increment #1 by 0||#1: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
16:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||24: jmp||#1: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:
17:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a18(lv_0_0)]
<NO_03.main||2: load INT #1||#1: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a20
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a18([java.lang.String...]): length iconst_0
	a20([java.io.ObjectStreamField|]): length iconst_0
	o10!: String$CaseInsensitiveComparator()
Relations:

(2) NO