<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#ffffff" text="#000000">
<font face="">All --<br>
<br>
I changed WidgetStyle to deal with a javac bug:<br>
<br>
WidgetStyle widgetStyle() default
imagej.plugin.gui.WidgetStyle.DEFAULT;</font><br>
<br>
<font face="">The fully qualified name is required to workaround
javac bug: <a class="moz-txt-link-freetext" href="http://bugs.sun.com/view_bug.do?bug_id=6512707">http://bugs.sun.com/view_bug.do?bug_id=6512707</a><br>
<br>
See:
<a class="moz-txt-link-freetext" href="http://groups.google.com/group/project-lombok/browse_thread/thread/c5568eb659cab203">http://groups.google.com/group/project-lombok/browse_thread/thread/c5568eb659cab203</a><br>
<br>
- GBH<br>
<br>
</font><br>
</body>
</html>