Refactor source in TXE1.java