class PortNumberEditor<T extends DbmsProperty> implements PropertyEditor<T> {

    public @Inject DbmsHandlerComponent dbmsHandler;
    
    @Override
    public Stream<Item> fieldsFor(T document) {<FILL_FUNCTION_BODY>}

    private IntegerBinding defaultPortProperty(T document, DbmsHandlerComponent dbmsHandlerComponent) {
        return Bindings.createIntegerBinding(() -> 
            DatabaseUtil.findDbmsType(dbmsHandlerComponent, document).getDefaultPort(),
            document.typeNameProperty()
        );
    }    
}
                    
        return Stream.of(new DefaultSpinnerItem(
            "Port", 
            defaultPortProperty(document, dbmsHandler), 
            document.portProperty(), 
            "The port of the database on the database host.", 
            0, 65535
        ));
    
<no_super_class>