String () { final String name = getContainingFile().getName(); int i = name.indexOf('$'); if (i < 0) { i = name.indexOf('.'); if (i < 0) { i = name.length(); } } return name.substring(0, i) + ".java"; }