diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/msteger/fig-jedit-plugins-SD.odg Binary file src/Doc/isac/msteger/fig-jedit-plugins-SD.odg has changed