Ну как, берёшь и меняешь свойства — background, textColor, textSize, typeface и т. п.

Только так?

Код работающих продуктов, которые конвертируют формат файлов из .mp3 в .wav? Я просто не нашел таких продуктов

Мне даже желательно в формат .ogg (mp3 -> ogg), но я нигде в интернете не нашел нативных реализаций конвертации, используя только Android API

Если все правила соблюдены, то можно повтор отправить, но любом в случае прочитайте еще раз нескольких раз, чтобы избежать блокировка, если будет повтор отклюнение, значит где оо допустили нарушение, то могут и вовсе заблокировать аккаунт без возможности восстановления.
Да кстати,  там письмо должно быть причина и должен исправить и перед опубликовать проверять нету никакой нарушения,  потому что гугл плей серьёзные находится...

Ты как будто троллишь, я уже два плеера с открытыми исходниками предложил.

Машинный перевод?)

Он не хочет вообще библиотек

Дак пусть определяется, шашечки или ехать

Я хочу мерседес за $100

Я смотрел эти плееры, у них все конвертации происходят на уровне байтов

А надо на уровне битов или что?

Ну так да, а как иначе.

Ещё вопрос ты прогаешь на джаве или котлине?

Мне хотелось бы вообще не взаимодействовать с такими типами данных, а использовать функции, которые может уже есть в Android API

Java

Давай без флуда.

Ой, больной вопрос задел)

Я скинул ссылку и показал, что есть в андроиде. Готовой функции mp3ToOgg(File src, File dest) там нет.

Михаил, есть ссылка на группы  Php разрабов?