Saving the workbench on exit.

This is was one big thing on my To Do list. Finally I implemented it into TutoGEF. I had two people asking about it also. So here we go. The procedure will not hurt a bit. We have to change a few things here and there in the already existing code but nothing mind blowing. We start out in MyGraphicalEditor by overriding the methods setInput() and doSave():