Java facility declaration argument fix

Enhanced facilities containing single-parameter modules was vexing the java translator. I.e., the following would fail:
    
    Facility Stack_Fac is Globally_Bounded_Stack_Template(Integer)
            realized by Skeleton_Realiz
        enhanced by Flipping_Capability
            realized by Obvious_Flipping_Realiz;

This has been fixed. 

In the process of doing the fix above, I also realized that (enhanced) facility declarations that reference modules taking *no* arguments would also fail, such as the following:

    Facility Stack_Fac is Globally_Bounded_Stack_Template
            realized by Skeleton_Realiz
        enhanced by Flipping_Capability
            realized by Obvious_Flipping_Realiz;

I've patched this as well. As always, let me know if this breaks something. Thanks for reading.