package org.jnario.spec.jvmmodel; import org.jnario.jvmmodel.ExtendedJvmModelGenerator; @SuppressWarnings("all") public class SpecJvmModelGenerator extends ExtendedJvmModelGenerator { }