public static void store(PreferencesManager prefs) {
   prefs.putInt(PREF_SPEED_UP, SPEED_UP);
   prefs.putInt(PREF_ROTATE_LEFT, ROTATE_LEFT);
   prefs.putInt(PREF_ROTATE_RIGHT, ROTATE_RIGHT);
   prefs.putInt(PREF_PAUSE, PAUSE);
   prefs.putInt(PREF_RESTART, RESTART);
 }
 public static void restore(PreferencesManager prefs) {
   SPEED_UP = prefs.getInt(PREF_SPEED_UP, Input.Keys.UP);
   ROTATE_LEFT = prefs.getInt(PREF_ROTATE_LEFT, Input.Keys.LEFT);
   ROTATE_RIGHT = prefs.getInt(PREF_ROTATE_RIGHT, Input.Keys.RIGHT);
   PAUSE = prefs.getInt(PREF_PAUSE, Input.Keys.P);
   RESTART = prefs.getInt(PREF_RESTART, Input.Keys.R);
 }