%% 
%% Search data file for jinterface 1.6
%% generated June 23, 2015
%% 
{"jinterface.html", {function, {"jinterface", "jinterface"}},
[
]}.
{"jinterface.html", {module, "jinterface"}, ["jinterface"]}.
{notused, application, ["jinterface"]}.
