Starting our own version of JPF with support for generics.