TTLEditor.java: Some minor cleanup