rename HLCompiler to GFTranslator

6 files changed, 7 insertions, 7 deletions

diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
index 0bebbc3ea..e5d691820 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
@@ -33,7 +33,7 @@ public class AlternativesActivity extends ListActivity {
 	    super.onCreate(savedInstanceState);
 	    setContentView(R.layout.activity_lexical_entry);
 
-        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
+        mTranslator = ((GFTranslator) getApplicationContext()).getTranslator();
 
 	    mShowLanguageView = (LanguageSelector) findViewById(R.id.show_language);
 	    mShowLanguageView.setLanguages(mTranslator.getAvailableLanguages());
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/HLCompiler.java b/src/ui/android/src/org/grammaticalframework/ui/android/GFTranslator.java
index 2e5b16df4..ee4cbc092 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/HLCompiler.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/GFTranslator.java
@@ -2,7 +2,7 @@ package org.grammaticalframework.ui.android;
 
 import android.app.Application;
 
-public class HLCompiler extends Application {
+public class GFTranslator extends Application {
 	private Translator mTranslator;
 
 	@Override
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/MainActivity.java b/src/ui/android/src/org/grammaticalframework/ui/android/MainActivity.java
index f448efb44..1d0bcd592 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/MainActivity.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/MainActivity.java
@@ -103,7 +103,7 @@ public class MainActivity extends Activity {
 
         mTts = new TTS(this);
 
-        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
+        mTranslator = ((GFTranslator) getApplicationContext()).getTranslator();
 
         mSourceLanguageView.setLanguages(mTranslator.getAvailableLanguages());
         mSourceLanguageView.setOnLanguageSelectedListener(new OnLanguageSelectedListener() {
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java
index 58d2e6518..d621e2f69 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java
@@ -41,7 +41,7 @@ public class TranslatorInputMethodService extends InputMethodService
     public void onCreate() {
         super.onCreate();
         
-        mTranslator = ((HLCompiler) getApplicationContext()).getTranslator();
+        mTranslator = ((GFTranslator) getApplicationContext()).getTranslator();
         
         mSymbolsPage1Keyboard = null;
         mSymbolsPage2Keyboard = null;
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboard.java b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboard.java
index 3eeb1be1e..876f660da 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboard.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboard.java
@@ -24,7 +24,7 @@ public class TranslatorKeyboard extends Keyboard {
     public TranslatorKeyboard(Context context, int xmlLayoutResId, int modeId) {
     	super(context, xmlLayoutResId, modeId);
 
-    	mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
+    	mTranslator = ((GFTranslator) context.getApplicationContext()).getTranslator();
     	updateLanguageKeyLabels();
     }
 
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboardView.java b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboardView.java
index 8e05623f5..943c48d35 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboardView.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorKeyboardView.java
@@ -20,12 +20,12 @@ public class TranslatorKeyboardView extends KeyboardView {
 
     public TranslatorKeyboardView(Context context, AttributeSet attrs) {
         super(context, attrs);
-        mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
+        mTranslator = ((GFTranslator) context.getApplicationContext()).getTranslator();
     }
 
     public TranslatorKeyboardView(Context context, AttributeSet attrs, int defStyle) {
         super(context, attrs, defStyle);
-        mTranslator = ((HLCompiler) context.getApplicationContext()).getTranslator();
+        mTranslator = ((GFTranslator) context.getApplicationContext()).getTranslator();
     }
 
     private PopupWindow mLanguagesPopup = null;