%% 
%% Search data file for jinterface 1.7.1
%% generated September 20, 2016
%% 
{"jinterface.html", {function, {"jinterface", "jinterface"}},
[
]}.
{"jinterface.html", {module, "jinterface"}, ["jinterface"]}.
{notused, application, ["jinterface"]}.
