Merging 7971:887db7d64bc9 with 7970:21b063622472.

[cacao.git] / tests / GG.java

public class GG extends BB
{
public void f() {
  int x = 5;
}
}