add source code that does not have location annotations.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / METHODDEFAULT.java

public @interface METHODDEFAULT{
    String value();
}