Cleaned-up warning from using non-generic JDO API