#1 patches 2 errors in JodeSourceMapper

[Anonymous]

JodeSourceMapper
...
public void mapSource(IType type, char[] contents, boolean force)
{
if (force)
//fSourceRanges.remove(type);
sourceRanges.remove(type);

//super.mapSource(type, contents);
super.mapSource(type, contents, null);
}
...

these changes made it ran on my eclipse 3.2

vittel@discardmail.de

[Nobody/Anonymous]

patched jar file (overwrite the one in the plugins/.. dir)