policy_module(guest, 1.1.0)

########################################
#
# 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)