Corrupted .cdtbuild files

I've just been bitten badly by the NIOS IDE 'make manager' again.

A system library which I was using fine yesterday suddenly failed to compile - gcc failing with a "cannot specify -o with -c or -S and multiple compilations" error.

The generated makefile had a line reading "CFAGS = null ", and selecting the C/C++ build options for the system library properties dialog showed be a 'blank' page without any of the usual options.

Turns out the libraries '.cdtbuild' file had been trashed, and was missing vital sections. I had to manually copy them from another system library project.

The corrupted one looked like this:-

<?xml version="1.0" encoding="UTF-8"?>
<ManagedProjectBuildInfo>
    <target artifactName="My_syslib.a" cleanCommand="rm -rf"
        defaultExtension="a" id="My_syslib.nios2.lib.80040364"
        isAbstract="false" isTest="false" name="Nios II Library">
        <configuration id="nios2.lib.release.86196347" name="Release"/>
        <configuration id="nios2.lib.debug.1347398883" name="Debug"/>
    </target>
    <defaultConfig id="nios2.lib.debug.1347398883"/>
    <defaultTarget id="My_syslib.nios2.lib.80040364"/>
</ManagedProjectBuildInfo>

Any thoughts on how to avoid this? - Also, is this the right forum to post bug reports like this in??

- Roddy