Grepping for Java casts

Foo.java

public class Foo {
    public A a = new B();
    public B b = (B) a;
}

class A {
}

class B extends A {
}

grepped output.txt

$ javap -c Foo | grep checkcast
      20: checkcast     #2                  // class B

javap -c output.txt

Compiled from "Foo.java"
public class Foo {
  public A a;

  public B b;

  public Foo();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: aload_0
       5: new           #2                  // class B
       8: dup
       9: invokespecial #3                  // Method B."<init>":()V
      12: putfield      #4                  // Field a:LA;
      15: aload_0
      16: aload_0
      17: getfield      #4                  // Field a:LA;
      20: checkcast     #2                  // class B
      23: putfield      #5                  // Field b:LB;
      26: return
}