Workaround for Eclipse bug: In Class[] AVs, sometimes the types are not
resolves although they exist.