Generates AspectJ/Java code from a PoCo policy.