Added explicit 'Big Endian' to UTF-32

src/nl/uu/cs/ssm/Machine.java

@@ -485,7 +485,7 @@ public class Machine
                                 ByteBuffer b = ByteBuffer.allocate(4);
                                 b.putInt(pop());
                                 try {
-                                    messenger.println( "" + new String(b.array(), "UTF-32") ) ;
+                                    messenger.println( "" + new String(b.array(), "UTF-32BE") ) ;
                                 } catch (UnsupportedEncodingException e) {
                                     messenger.println("Error: UTF-32 encoding missing.");
                                 }

src/nl/uu/cs/ssmui/SSMRunner.java

@@ -685,7 +685,7 @@ public class SSMRunner extends JFrame
             }
             byte[] b = {};
             try {
-                b = s.getBytes("UTF-32");
+                b = s.getBytes("UTF-32BE");
             } catch (UnsupportedEncodingException e) {
                 println("Error: UTF-32 encoding missing.");
             }