Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:

public class LoopingNonterm {
 public static void main(String[] a) {
  int i = 0;
  int j = a.length;
  while (i < j) {
   i += a[i].length();
  }
 }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 5 and 19 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||0: push 0||a: a63|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

1:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||1: store INT to i||a: a63||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

2:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||2: load ADDR a||a: a63, i: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

3:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||3: arraylength||a: a63, i: iconst_0||a63>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

4:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||4: store INT to j||a: a63, i: iconst_0||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

5:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||5: load INT i||a: a63, i: iconst_0, j: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

6:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||6: load INT j||a: a63, i: iconst_0, j: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

7:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||7: GE||a: a63, i: iconst_0, j: iconst_1||iconst_0, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

8:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||10: load INT i||a: a63, i: iconst_0, j: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

9:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||11: load ADDR a||a: a63, i: iconst_0, j: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||12: load INT i||a: a63, i: iconst_0, j: iconst_1||iconst_0, a63>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||13: Read ADDR from array||a: a63, j: iconst_1||iconst_0, a63, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

12:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||14: java.lang.String.length()I||a: a63, j: iconst_1||iconst_0, o31>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

13:

<java.lang.String.length||0: load ADDR this||this: o31|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||14: java.lang.String.length||a: a63, j: iconst_1||iconst_0, o31>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

14:

<java.lang.String.length||1: Read from count|| - ||o31>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||14: java.lang.String.length||a: a63, j: iconst_1||iconst_0, o31>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

15:

<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||14: java.lang.String.length||a: a63, j: iconst_1||iconst_0, o31>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

16:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||17: ADD||a: a63, j: iconst_1||iconst_0, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||18: store INT to i||a: a63, j: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||19: jmp||a: a63, i: iconst_0, j: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<LoopingNonterm.main||5: load INT i||a: a63, i: iconst_0, j: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o88
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i38: #I{-inf,+inf}
	a63([java.lang.String...]): {o31}
	a65([java.io.ObjectStreamField|]): length iconst_0
	o88!: String$CaseInsensitiveComparator()
	o31(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a16?)
a16:: [CHAR]
Relations: 

(2) NO