added some Javadoc description to Spot.java, Method.java, SASTProblem.java