1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
<%
// Java Plug-in Framework (JPF)
// Copyright (C) 2004 - 2007 Dmitry Olshansky
// $Id$
%>
<%
import java.text.*;
function void printHeader(String title) {
%>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="de">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="robots" content="index, follow" />
<meta name="description" content="Framework to help development of extensible Java applications or to add plug-in support to existing systems." />
<meta name="keywords" content="Java, plugin, plug-in, framework, platform, architecture, engine, runtime, extensible, flexible, reliable, server-side, client-side, development, developer, library, package, open-source, LGPL, free software" />
<meta name="revisit-after" content="7 days" />
<title>Java Plugin Framework (JPF) - <%= title %></title>
<link rel="StyleSheet" type="text/css" href="../resources/css/base.css" />
<link rel="icon" href="../resources/images/favicon.ico" />
</head>
<body>
<%
}
function void printFooter() {
%>
<div class="footer">
<span style="float:left;">© 2004 - 2007 JPF Team</span>
<span style="float:right;">
Direct e-mail: <img src="../resources/images/email.png" width="169" height="20" title="Direct email" style="vertical-align:middle;" />
Last modified: <%= new SimpleDateFormat("yyyy-MM-dd HH:mm", Locale.US).format(new Date()) %>
</span>
</div>
<br />
<% if ("web".equals(System.getProperty("jdocs.mode"))) { %>
<!-- Start of StatCounter Code -->
<script type="text/javascript" language="javascript">var sc_project=326381; var sc_partition=1; var sc_invisible=1;</script>
<script type="text/javascript" language="javascript" src="http://www.statcounter.com/counter/counter.js"></script><noscript><a href="http://www.statcounter.com/free_hit_counter.html" target="_blank"><img src="http://c2.statcounter.com/counter.php?sc_project=326381&java=0&invisible=1" alt="web hit counter" border="0"></a> </noscript>
<!-- End of StatCounter Code -->
<!-- Start of Google Analytics Code -->
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-344539-1";
urchinTracker();
</script>
<!-- End of Google Analytics Code -->
<% } %>
</body>
</html>
<%
}
function void printMenu(String currPage) {
%>
<div class="menu">
<p align="center"><a href="http://jpf.sourceforge.net"><img src="../resources/images/jpf-logo.png" width="80" height="60" title="Java Plug-in Framework (JPF)" border="0" alt="JPF" /></a></p>
<p>
<%= getMenuItem("boot", "JPF Boot Bibliothek", currPage) %>
<%= getMenuItem("tutorial", "JPF Tutorial", currPage) %>
</p>
<p lang="en"><a href="../index.html">English (en)</a></p>
<% if ("web".equals(System.getProperty("jdocs.mode"))) { %>
<div align="center"><a href="http://sourceforge.net" title="SourceForge.net"><img src="http://sflogo.sourceforge.net/sflogo.php?group_id=110394&type=2" width="125" height="37" border="0" alt="SourceForge.net" /></a></div>
<% } %>
</div>
<%
}
function String getMenuItem(String page, String title, String currPage) {
if (page.startsWith(currPage)) {
return title + "<br />";
}
return "<a href=\"./" + page + ".html\">" + title + "</a><br />";
}
%>
|
