@@ -220,6 +220,7 @@
     <javac srcdir="src" destdir="classes/base" source="1.7" target="1.7"
            bootclasspath="${java8-runtime}" sourcepath="" includeAntRuntime="no"
            executable="${java8-home}/bin/javac" fork="yes" memoryMaximumSize="1024M"
+           encoding="UTF-8"
            debug="on" optimize="off" deprecation="on" >
       <classpath>
         <!-- TODO: Remove this dependency on tools.jar by refactoring and moving all the dependent
@@ -273,6 +274,7 @@
     <javac srcdir="src" destdir="classes/base" source="1.6" target="1.6"
            bootclasspath="${java8-runtime}" sourcepath="" includeAntRuntime="no"
            executable="javac" fork="yes" memoryMaximumSize="1024M"
+           encoding="UTF-8"
            debug="on" optimize="off" deprecation="on"	>
       <classpath>
         <!-- TODO: Remove this dependency on tools.jar by refactoring and moving all the dependent
 
@@ -43,8 +43,10 @@ public static void main(String... args) throws IOException {
       }
       else{
         input = in.readLine();
-        System.out.print(prompt);
-        System.out.println(input);
+        if(input != null){
+          System.out.print(prompt);
+          System.out.println(input);
+        }
       }        
 
       if (input != null) {
 
@@ -1614,9 +1614,13 @@ private void evaluateConstantExpression(UnaryExpression node) {
     @Override public Type visit(InstanceOfExpression node) {
       Type expT = check(node.getExpression());
       Type targetT = checkTypeName(node.getReferenceType());
-      if (!ts.isReference(expT) || !ts.isReference(targetT) || ts.isDisjoint(targetT, expT)) {
-        throw new ExecutionError("instanceof.type", node);
-      }
+      // if (!ts.isReference(expT) || !ts.isReference(targetT) || ts.isDisjoint(targetT, expT)) {
+      //   // throw new ExecutionError("instanceof.type", node);
+      // }
+      // 
+      // Removing this check case to allow false to be returned on the
+      // main interactive loop for expressions like "hi" instanceof Integer
+
       if (!ts.isReifiable(targetT)) {
         throw new ExecutionError("reifiable.type", node);
       }
 
@@ -0,0 +1,12 @@
+Object s = "hi"
+// should be true
+assert(s instanceof Object)
+
+// should be true
+assert(s instanceof String)
+
+// should be false
+s instanceof Integer
+assert(!(s instanceof Integer))
+
+Integer i = (Integer) s;
Original file line number	Diff line number	Diff line change
@@ -43,8 +43,10 @@ public static void main(String... args) throws IOException {
43	43	}
44	44	else{
45	45	input = in.readLine();
46		- System.out.print(prompt);
47		- System.out.println(input);
	46	+ if(input != null){
	47	+ System.out.print(prompt);
	48	+ System.out.println(input);
	49	+ }
48	50	}
49	51
50	52	if (input != null) {