static final MappingRecord DELETED = new MappingRecord(""); // sentinel for deleted
What is a MappingRecord and where is it defined?
Next, from the project properties dialog, choose "Java Build Path". Select "Libraries" at the top, and then select "Add Library" on the right. Then click "Alternate JRE". If Java 5.0 is in the pull-down menu select it. Otherwise, select "Installed JREs..." and select Java 5.0. Then pick "Finish". Then select the old library from the library list and pick "Remove", and click "OK". Then you will probably need to rebuild everything (or restart Eclipse).
Return to the CSE 241 Home Page