Add "Permissions" attribute to jar manifest; ensure bytecodes are 1.5-compatible