Clazz.declarePackage ("com.stevesoft.pat");
Clazz.load (["com.stevesoft.pat.patInt"], "com.stevesoft.pat.patInf", null, function () {
c$ = Clazz.declareType (com.stevesoft.pat, "patInf", com.stevesoft.pat.patInt);
Clazz.makeConstructor (c$, 
function () {
Clazz.superConstructor (this, com.stevesoft.pat.patInf, []);
this.inf = true;
});
});