public static interface IntrospectorTestCase2.Woogie
Copyright ? 2002 Apache Software Foundation. All Rights Reserved.