public static Class getJavaType(Term t) {
        switch (t.type) {
            case TBool:
                return Boolean.TYPE;
            case TChar:
                return Character.TYPE;
            case TInt:
                return Integer.TYPE;
            case TDouble:
                return Double.TYPE;
            case TString:
                return String.class;
            case TObject:
                return t.ovalue().getClass();
            case TQuote:
                return getArrayType(t);
            default:
                throw new VException("err:java:type",t,"Unable to convert type :" + t.value());
        }
    }