import org.checkerframework.checker.i18nformatter.qual.*;

package java.text;

class MessageFormat {

    public static String format(@I18nFormatFor("#2") String arg0, Object... arg1);

}

package java.util;

class ResourceBundle {

    @I18nMakeFormat
    String getString(String key);
}
