bad constructor for base class

[jmvanel]

This Java :

class Base {
  Base(){} // unused
  Base(String s){} // used
}
class Derived extends Base {
  Derived(String s){ super(s); }
}

gives this :

class Base() {
  def this(s: String) {
  }
}
class Derived(s: String) extends Base(s)

[timowest]

This is now correctly generated as

class Base() {
  def this(s: String) {
    this()
  }
}

class Derived(s: String) extends Base(s)