Workarounds for GlassFish bugs