// this is the source for the compiled class in a.jar
public class A {
  public static final int x = 3;
}