Make constructor public to facilitate Java integration, until the Java API