more restricted Java