I\'m trying out the new records feature with java 14, currently in preview. I know that in Java one has to have exactly one public class per file but with the new reco
