cwi-swat/rascal — pull request #251 by pieterhijma (2013-08-30 08:34:31+00:00)
Title: Preventing null-pointer derefs

CacheKey.keyArgs can be null (lines 89-99).
Added an additional check.