policy_module(guest, 1.0.1)

########################################

#

# Declarations

#

role guest_r;

userdom_restricted_user_template(guest)

########################################

#

# Local policy

#

optional_policy(`

	java_role_template(guest, guest_r, guest_t)

')

optional_policy(`

	mono_role_template(guest, guest_r, guest_t)

')

#gen_user(guest_u,, guest_r, s0, s0)