dejasmin/dejasmin-0.4.patch

   1 diff -ur src/dejasmin.java src-fixed/dejasmin.java
   2 --- src/dejasmin.java   2006-02-05 23:27:12.000000000 +0100
   3 +++ src-fixed/dejasmin.java     2007-11-28 15:17:49.000000000 +0100
   4 @@ -22,7 +22,7 @@
   5  import org.apache.bcel.classfile.JavaClass;
   6
   7  public class dejasmin {
   8 -    private final static String version = "dejasmin v0.3";
   9 +    private final static String version = "dejasmin v0.4";
  10
  11      private RandomAccessFile datain;
  12