1212import org .eclipse .jface .preference .IPreferenceStore ;
1313import org .eclipse .swt .program .Program ;
1414import org .eclipse .ui .IViewPart ;
15- import org .eclipse .ui .IViewReference ;
15+ // import org.eclipse.ui.IViewReference;
1616import org .eclipse .ui .IWorkbenchPage ;
1717import org .eclipse .ui .PartInitException ;
1818import org .eclipse .ui .actions .ActionFactory ;
1919import org .eclipse .ui .actions .ActionFactory .IWorkbenchAction ;
20- import org .eclipse .ui .internal .WorkbenchPage ;
20+ // import org.eclipse.ui.internal.WorkbenchPage;
2121
2222public class J2SApplicationRunnable implements Runnable {
2323ILaunchConfiguration configuration ;
@@ -30,7 +30,7 @@ public J2SApplicationRunnable(ILaunchConfiguration configuration, String url) {
3030
3131public void run () {
3232boolean isToViewInConsole =true ;
33- boolean isViewFast =false ;
33+ // boolean isViewFast = false;
3434boolean isViewMaximize =false ;
3535try {
3636IPreferenceStore store =Java2ScriptUIPlugin .getDefault ().getPreferenceStore ();
@@ -41,8 +41,8 @@ public void run() {
4141IJ2SLauchingConfiguration .VIEW_IN_INNER_J2S_CONSOLE ,preferred );
4242isViewMaximize =configuration .getAttribute (
4343IJ2SLauchingConfiguration .MAXIMIZE_J2S_CONSOLE ,false );
44- isViewFast =configuration .getAttribute (
45- IJ2SLauchingConfiguration .FAST_VIEW_J2S_CONSOLE ,false );
44+ // isViewFast = configuration.getAttribute(
45+ // IJ2SLauchingConfiguration.FAST_VIEW_J2S_CONSOLE, false);
4646}catch (CoreException e1 ) {
4747e1 .printStackTrace ();
4848}
@@ -80,9 +80,9 @@ public void run() {
8080J2SConsoleView j2sConsole = (J2SConsoleView )console ;
8181IWorkbenchPage page =j2sConsole .getViewSite ().getWorkbenchWindow ()
8282.getActivePage ();
83- WorkbenchPage wp = (WorkbenchPage )page ;
84- IViewReference ref =wp
85- .findViewReference ("net.sf.j2s.ui.console.J2SConsoleView" );
83+ // WorkbenchPage wp = (WorkbenchPage) page;
84+ // IViewReference ref = wp
85+ // .findViewReference("net.sf.j2s.ui.console.J2SConsoleView");
8686//if (isViewFast && !wp.isFastView(ref)) {
8787//wp.addFastView(ref);
8888//}