Extensions to the Java TV service selection API.