before14.java

// "Make 'a' not final" "true"
import java.io.*;

final class a {
}
class b extends <caret>a {
}