PR13237.java   [plain text]

class PR13237 {
  double kappa = Math.sqrt(2.0);
}