Minor fixes and improvements.
- Replaced RandomIdGenerator by java.util.UUID
- Made GReQL functions more robust
- GReQLGui remembers query file names on save
Merge branch 'master' of https://github.com/jgralab/jgralab