[Eclipse-sdcc-users] eclipseSDCC plugin for linux - an error?

Hi, All!
There seems to be an error in this plugin for  Linux.  In file
net.sourceforge.eclipsesdcc.feature_1.0.0/feature.xml there is
the last "<plugin" section:
"<plugin
         id="net.sourceforge.eclipsesdcc.win32"
         os="win32"
         ws="win32"
..."
it should be changed to:
"<plugin
         id="net.sourceforge.eclipsesdcc"
         os="linux"
         ws="gtk"
..."
Then the plugin will be recognized by Eclipse.
    Good luck!
       Igor Gorbounov