Possibly unintended behavior for manifold-prop annotation parameters

Demo7.java

package com.github.cc007;

import lombok.ToString;
import manifold.ext.props.rt.api.get;

import static manifold.ext.props.rt.api.PropOption.Public;

public class Demo7 {

    // added lombok annotation to interact with the class fields from inside the class
    @ToString
    public static class Properties {
        @get(Public) String publicGet = "public getter";
    }

    public static class SubProperties extends Properties {
    }

    public static void main(String[] args) {
        Properties properties = new Properties();
        System.out.println(properties);
        SubProperties subProperties = new SubProperties();
        System.out.println(subProperties);
    }
}