// Tags: not-a-test

package gnu.testlet.java.io.ObjectStreamClass;

import java.io.Serializable;

class DefinedNotFinal implements Serializable
{
  static long serialVersionUID = 17;
}