function Counter( /* int */ counter) {
        if (counter != undefined)
            this.counter = counter;
        else
            this.counter = 0;
    }
/**
 * Class Counter
 *
 * Counter, used to generate ids for svgSwing components when they are created
 * 
 */
Class Counter

Counter, used to generate ids for svgSwing components when they are created
Class Counter Counter used to generate ids for svgSwing components when they are created
function Counter(  counter) {
        if (counter != undefined)
            this.counter = counter;
        else
            this.counter = 0;
    }
function Counter ( counter ) { if ( counter != undefined ) this . counter = counter ; else this . counter = 0 ; }
Class Counter
Class Counter
/* int */