+
+ public static javax.swing.JTabbedPane createTabbedPane()
+ {
+ // now just always return JTabbedPane
+ return new javax.swing.JTabbedPane();
+// // BH 2018 coercing jalview.jbgui.swing.JTabbedPane() for now
+// if (/** @j2sNative false && */
+// true)
+// {
+// // Java
+// return new javax.swing.JTabbedPane();
+// }
+// // JavaScript
+// return (javax.swing.JTabbedPane) (Object) new jalview.jbgui.swing.JTabbedPane();
+ }
+
+