void some (@RequestBody(required = false) String @Nullable [] arguments) { }

    static @interface Readonly { }

    static @interface NonNull { }

    static @interface NonEmpty { }

    // annotations for method receivers
    public int size() @Readonly {
        return 0;
    }

    // annotations inside generic type arguments
    Map<@NonNull String, @NonEmpty List<@Readonly Document>> files;

    // annotations inside arrays
    // docs1 is an unmodifiable one-dimensional array of mutable Documents
    Document[@Readonly] docs1;
    // docs2 is a mutable array whose elements are unmodifiable one-dimensional arrays of mutable Documents
    Document[][@Readonly] docs2 = new Document[2][@Readonly 12];

    public void annotationInTypeCast(Object myObject) {
        String myString;
        // annotation in typecast
        myString = (@NonNull String)myObject;
    }

    public void annotationInInstanceOf(Object myString) {
        // type tests
        boolean isNonNull = myString instanceof @NonNull String;
    }

    public void annotationInObjectCreation() {
        Set myNonEmptyStringSet = new HashSet();
        // object creation
        new @Readonly @NonEmpty ArrayList(myNonEmptyStringSet);
    }


    //type parameter bounds:
    //class Folder { ... }
    // t.b.d.

    // class inheritance
    abstract class UnmodifiableList<T> implements @Readonly List<@Readonly T> { }

    // throws clauses
    class TemperatureException extends Exception { }
    @interface Critical { }S
    void monitorTemperature() throws @Critical TemperatureException {
        throw new TemperatureException();
    }