PR13237.java
[
plain text
]
class
PR13237 {
double
kappa = Math.sqrt(2.0); }