Я нашел решение. Плагин встраивания Java использует установленную JVM, которая сама получает определения прокси от MacOS, а не от Firefox. Таким образом, определения прокси должны быть определены как для MacOS / Safari, так и для Firefox.
Я также обновил Firefox и выбрал Java 1.5 на панели настроек Java. Однако я не уверен, помогли ли эти два действия решить проблему.