Revert "removed special case method to work around bug in Eclipse JDT"
Revert "removed special case method to work around bug in Eclipse JDT"

This reverts commit 46eb595e6c989bebd04b66eaf76b50e2444e0213.

usethesource/rascal-value,cwi-swat/pdb.values,cwi-swat/pdb.values