1 package cvc3;
2 
3 import java.util.*;
4 
5 public class Context extends Embedded {
6     // jni methods
7 
8     /// Constructor
9 
Context(Object Context, EmbeddedManager embeddedManager)10     public Context(Object Context, EmbeddedManager embeddedManager) {
11 	super(Context, embeddedManager);
12     }
13 
14 
15     /// API (immutable)
16 
17 }
18