recordSource
public record ExtractArchiveEvent(ArchiveType archiveType, int progress)
    implements Event

Gets fired while a downloaded Java archive is being extracted

Implemented interfaces
Event
Event
When it fires and how to listen to it

Record components

archiveTypeArchiveType

The archive format currently being extracted

Accessor: archiveType()
progressint

The extraction progress in percent, from 0 to 100

Accessor: progress()

Constructors

public ExtractArchiveEvent(ArchiveType archiveType, int progress)
Parameters
archiveTypeArchiveType
progressint