Add Dirk's changes

javasrc/codec/org/etsi/ttcn/codec/generic/Integer.java

@@ -49,7 +49,14 @@ public class Integer extends ICodec {
         value = buf.readBits(lengthInBits);
         
         try {
-            Matcher matcher = UNSIGNED_VARIANT.matcher(decodingHypothesis.getTypeEncodingVariant());
+            hint = mainCodec.getHint(decodingHypothesis.getName() + "Sign");
+            Matcher matcher;
+            if (hint==null) {
+                matcher = UNSIGNED_VARIANT.matcher(decodingHypothesis.getTypeEncodingVariant());
+            }
+            else {
+                matcher = UNSIGNED_VARIANT.matcher(hint);
+            }
             if(matcher.find()) {
                 // Unsigned integer
                 if(lengthInBits >= java.lang.Integer.SIZE) { 

javasrc/codec/org/etsi/ttcn/codec/its/uppertester/UtDenmTermination.java

@@ -16,7 +16,9 @@ public class UtDenmTermination extends UtRecord {
     
     private void setLengths() {
         mainCodec.setHint("StationIDLen", "32");
+        mainCodec.setHint("StationIDSign", "unsigned");
         mainCodec.setHint("SequenceNumberLen", "16");
+        mainCodec.setHint("SequenceNumberSign", "unsigned");
     }
     
 }