Properties p = System.getProperties(); String javaVersion = p.getProperty( "java.version" ); if ( javaVersion.charAt(2) == '1' ){ isJ2RE = false; zoomIndex = BASE_ZOOM_INDEX; } else { isJ2RE = true; zoomIndex = Settings.mapZoomIndex; checkZoomIndex(); hasZoomed = true; } scale = ZOOM_FACTORS[ zoomIndex ];  updateFontSizes();
    public BoardView1(Game game, Frame frame) throws java.io.IOException {        this.game = game;        this.frame = frame;        tileManager = new TilesetManager(this);        game.getBoard().addBoardListener(this);        scroller.start();        addKeyListener(this);        addMouseListener(this);        addMouseMotionListener(this);        updateBoardSize();        // tooltip        tipWindow = new Window(frame);        initPolys();        cursorSprite = new CursorSprite(Color.cyan);        highlightSprite = new CursorSprite(Color.white);        selectedSprite = new CursorSprite(Color.blue);        firstLOSSprite = new CursorSprite(Color.red);        secondLOSSprite = new CursorSprite(Color.red);    }