// -*- java -*-


template< int Value > class Empty
{
}


class NonConst
{
    static /* final */ int nonconst = 0;
    static template Empty< nonconst > empty;
}


class Main
{
    static public void main( String[] args ) { }
}