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_16 (Sun Microsystems Inc.) Main-Class: TestJulia2

/**
 * Method main() diverges.
 */

public class TestJulia2 {
    private Object f;

    public static void main(String[] args) {
	Object o;
	TestJulia2 tj = new TestJulia2();

	if (args.length == 1)
	    o = new Object();
	else
	    o = new TestJulia2();

	tj.f = o;

	tj.f.equals(args);
    }

    public boolean equals(Object obj) {
	while (true) {}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 25 and 26 are repetitions.
0:

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

1:

<TestJulia2.main||3: DUP||#0: a2||o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

2:

<TestJulia2.main||4: TestJulia2.<init>()V||#0: a2||o81, o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

3:

<TestJulia2.<init>||0: load ADDR #0||#0: o81|| ->
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o81, o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

4:

<TestJulia2.<init>||1: java.lang.Object.<init>()V|| - ||o81>
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o81, o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

5:

<TestJulia2.<init>||4: return|| - || ->
<TestJulia2.main||4: TestJulia2.<init>||#0: a2||o81, o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

6:

<TestJulia2.main||7: store ADDR to #2||#0: a2||o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

7:

<TestJulia2.main||8: load ADDR #0||#0: a2, #2: o81|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

8:

<TestJulia2.main||9: arraylength||#0: a2, #2: o81||a2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

9:

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

10:

<TestJulia2.main||11: NE||#0: a2, #2: o81||0, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

11:

<TestJulia2.main||25: New TestJulia2||#0: a2, #2: o81|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)

12:

<TestJulia2.main||28: DUP||#0: a2, #2: o81||o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

13:

<TestJulia2.main||29: TestJulia2.<init>()V||#0: a2, #2: o81||o82, o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

14:

<TestJulia2.<init>||0: load ADDR #0||#0: o82|| ->
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o81||o82, o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

15:

<TestJulia2.<init>||1: java.lang.Object.<init>()V|| - ||o82>
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o81||o82, o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

16:

<TestJulia2.<init>||4: return|| - || ->
<TestJulia2.main||29: TestJulia2.<init>||#0: a2, #2: o81||o82, o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

17:

<TestJulia2.main||32: store ADDR to #1||#0: a2, #2: o81||o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

18:

<TestJulia2.main||33: load ADDR #2||#0: a2, #1: o82, #2: o81|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

19:

<TestJulia2.main||34: load ADDR #1||#0: a2, #1: o82, #2: o81||o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

20:

<TestJulia2.main||35: Write to f||#0: a2, #2: o81||o81, o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=#)
	o82!: TestJulia2(f=#)

21:

<TestJulia2.main||38: load ADDR #2||#0: a2, #2: o81|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

22:

<TestJulia2.main||39: Read from f||#0: a2||o81>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

23:

<TestJulia2.main||42: load ADDR #0||#0: a2||o82>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

24:

<TestJulia2.main||43: java.lang.Object.equals(Ljava/lang/Object;)Z|| - ||o82, a2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

25:

<TestJulia2.equals||0: jmp|| - || ->
<TestJulia2.main||43: java.lang.Object.equals|| - ||o82, a2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

26:

<TestJulia2.equals||0: jmp|| - || ->
<TestJulia2.main||43: java.lang.Object.equals|| - ||o82, a2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a4
	String.CASE_INSENSITIVE_ORDER: o2
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	a2([java.lang.String...]): length 0
	a4([java.io.ObjectStreamField|]): length 0
	o2!: String$CaseInsensitiveComparator()
	o81!: TestJulia2(f=o82)
	o82!: TestJulia2(f=#)

(2) NO