[e-lang] Newbie Joe-E questions

[Jimmy Wylie]

Hi all,

I've downloaded joe-e for the first time and tried to import a simple 
project assigned from one of my beginner java classes.  After running 
the verifier, I've received 65 errors, but they all seem to be of the form:
 "Disabled field in from type System accessed: default deny"
 "Reference to disabled type Scanner: no policy specified for this class"
  "Disabled field out from type System accessed: default deny"
 "Method from disabled type PrintStream called: no policy specified for 
this class."

Now this class is a User Interface class, and I want it to be able to 
take in input from an instance of Scanner, and also do output.  How do I 
create a policy to allow these authorities for this class?
I tried simply passing an instance of Scanner in the constructor, 
instead of creating a new one when the constructor is called, but the 
verifier still objects to the "import java.util.Scanner" declaration.

Also, on sort of a separate note, could someone clarify exactly what a 
joe-e Token is? I read the Joe-E spec doc, and from what I can tell, it 
seems to be like a basic Joe-E type or a Joe-E "Object" class.  If I was 
writing a joe-e program, should all objects not declared to be powerless 
or immutable, be a Token instead?

Thanks for your help,
Jimmy Wylie