Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_24 (Apple Inc.) Main-Class: Loop

public class Loop {
    public static void main(String[] args) {
	int a = 5;
	int b = 3;
	for (int i = 0; i < 10; i += 0) {}

	test(a, b);
    }

    private static int test(int a, int b) {
	return a * b;
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 6 and 11 are repetitions.
0:

<Loop.main||0: push 5|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

1:

<Loop.main||1: store INT to #1|| - ||5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

2:

<Loop.main||2: push 3||#1: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

3:

<Loop.main||3: store INT to #2||#1: 5||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

4:

<Loop.main||4: push 0||#1: 5, #2: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

5:

<Loop.main||5: store INT to #3||#1: 5, #2: 3||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

6:

<Loop.main||6: load INT #3||#1: 5, #2: 3, #3: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

7:

<Loop.main||7: push 10||#1: 5, #2: 3, #3: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

8:

<Loop.main||9: GE||#1: 5, #2: 3, #3: 0||0, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

9:

<Loop.main||12: increment #3 by 0||#1: 5, #2: 3, #3: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

10:

<Loop.main||15: jmp||#1: 5, #2: 3, #3: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

11:

<Loop.main||6: load INT #3||#1: 5, #2: 3, #3: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a3
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a3([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()

(2) NO