Не удается найти R.xml.preferences?

Я пытаюсь установить некоторые простые настройки для приложения Android, но не могу пройти мимо этой ошибки: "xml не может быть разрешен или не является поле." Я почистил, обновил, перезапустил eclipse, протанцевал джигу - но не могу стряхнуть ошибку. Что я делаю неправильно?

Файл preferences.xml:

<?xml version="1.0" encoding="utf-8"?>

<PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android">

    <PreferenceCategory
        android:title="Dev options">

        <CheckBoxPreference
            android:key="devtools"
            android:title="Enable clearing user"
            android:summary="Enable clearing user" />

    </PreferenceCategory>

</PreferenceScreen>

Файл класса java:

package com.myapp.prototype;

import android.os.Bundle;
import android.preference.PreferenceFragment;

public class GCPreferencesActivity extends PreferenceFragment {

    @Override
    public void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);

        // Load preferences from XML resource
        addPreferencesFromResource(R.xml.preferences);    // error on this line ??
    }
}

Спасибо за любую помощь.